1. Hylo: A Systems Programming Language All in on Value Semantics and Generic Programming  hylo-lang.org
   2026-02-10 23:47:35   #plt #new
2. glang  github.com
   2026-02-03 07:26:43   #plt #d #code #new
3. TablaM  www.tablam.org
   2026-02-02 06:57:17   #plt #logiclangs #new
4. STATUTORY: A Turing-complete language in 17th-century legal English  github.com
   2026-01-24 20:06:55   #compsci #plt #code #new
5. The Jule Programming Language  jule.dev
   2026-01-20 12:23:41   #plt #new
6. Granule, a statically-typed linear functional language with graded modal types  github.com
   2025-12-20 21:27:12   #plt #code #new
7. Nova Programming Language  nova-lang.net
   2025-12-08 17:32:52   #plt #new
8. Functional Data Structures and Algorithms. A Proof Assistant Approach  fdsa-book.net
   2026-02-13 19:26:48   #pdf #book #formalmethods #plt #new
9. The Lambda Papers (transcribed)  research.scheme.org
   2025-11-25 09:31:45   #lisp #plt #new
10. Metalang99: a rich functional language implemented in C99 preprocessor  github.com
    2025-10-25 15:38:55   #c #plt #code #new
11. Carbon values, variables, and pointers  github.com
    2025-10-24 11:42:09   #plt #code #new #docs
12. lolremez: Polynomial Approximations using the Remez Algorithm  github.com
    2025-10-04 16:10:43   #math #performance #plt #code #new
13. Grammar induction  en.wikipedia.org
    2025-09-24 12:32:24   #plt #wiki
14. 第四: a Japanese and Forth inspired postfix language  gist.github.com
    2025-09-22 04:50:57   #plt #concatenative #gist
15. Rich Already Answered That  gist.github.com
    2025-09-09 15:37:56   #clojure #plt #gist
16. Pyret: A programming language for programming education  pyret.org
    2025-08-29 17:59:13   #education #plt #new
17. Mysical Postscript  github.com
    2025-08-29 12:41:15   #art #plt #code #new
18. Atmos  github.com
    2025-08-18 14:38:05   #lua #plt #code #new
19. Dyna — Logic Programming for Machine Learning  dyna.org
    2025-08-16 22:00:06   #ai #plt #new
20. What I Wish I Knew When Learning Picat  github.com
    2025-08-05 12:19:55   #programming #plt #code #new
21. KernelScript: DSL for eBPF-Centric Development  github.com
    2025-07-29 16:18:17   #linux #plt #code #new
22. Wren - a small, fast, class-based concurrent scripting language  github.com
    2025-07-26 23:05:15   #erlang #plt #code #new
23. Why Lexing and Parsing Should Be Separate  github.com
    2025-07-20 23:32:43   #plt #code #new
24. Janet Feature Demos  github.com
    2025-07-16 06:37:35   #lisp #plt #code #new
25. Helix language  github.com
    2025-07-01 14:25:48   #plt #code #new

< 1 / 7 >