Programming Language

• Ity

  A new modular & light-weight programming language built from scratch in C++. https://github.com/phosxd/Ity — Statement of No AI

  Posted 3 days ago · Author Stuart

• Hare

  Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks. – https://harelang.org/ — Statement of No AI

  Posted 34 days ago · Author Stuart

• Sass

  Sass is the most mature, stable, and powerful professional grade CSS extension language in the world. — https://sass-lang.com/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• StreetLISP

  A compact interpreter for a minimal lisp/scheme dialect. A street lisp. — https://sr.ht/~ft/StreetLISP/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• STklos

  STklos (pronounced /ˈɛs.‘ti.kl’ɔss/) is a free Scheme system mostly compliant with the language features defined in R⁷RS small. The aim of this implementation is to be fast as well as light. — https://github.com/egallesio/STKlos — Statement of No AI

  Posted 52 days ago · Author Stuart

• Horse64

  Horse64 is a high-level language that combines readability, clean dynamic typing, and readiness for large projects. It’s a more grounded rethinking of Python. — https://horse64.org/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• Mikan

  Mikan (/mɪˈkɑːn/, after the Japanese name for Citrus unshiu) is a free and libre interactive proof assistant for cubical type theory — https://codeberg.org/1lab/mikan — Statement of No AI

  Posted 52 days ago · Author Stuart

• Zig

  Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software. — https://ziglang.org/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• Typst

  Limitless power to write, create, and automate anything that you can fit on a page. Document creation programming language.— https://typst.app/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• Fennel

  Fennel is a programming language that brings together the simplicity, speed, and reach of Lua with the flexibility of a lisp syntax and macro system. — https://fennel-lang.org/ — Statement of No AI

  Posted 52 days ago · Author Stuart

• CHICKEN

  CHICKEN is a compiler for the Scheme programming language. — https://www.call-cc.org — Statement of No AI

  Posted 55 days ago · Author Stuart

• Clojure

  Clojure is a dynamic, general-purpose programming language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. — https://clojure.org — Statement of No AI

  Posted 55 days ago · Author Stuart

• Idris

  Idris is a programming language designed to encourage Type-Driven Development. — https://idris-lang.org —
  Statement of No AI”

  Posted 55 days ago · Author Stuart