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

< 2 / 8 >