1. LR(1) parse-tables generator  github.com
   2025-06-24 10:38:37   #programming #cpp #plt #code #new
2. Pallene Language  github.com
   2025-06-22 17:13:13   #lua #plt #code #new
3. Raku's "core"  gist.github.com
   2025-06-11 20:17:32   #perl #plt #gist
4. Binary Lambda Calculus  gist.github.com
   2025-06-06 17:07:56   #math #plt #gist
5. Effekt Language: Home  effekt-lang.org
   2025-05-27 10:38:59   #compsci #plt #new
6. lamber: functional scripting language compiling to Lambda Calculus  github.com
   2025-05-24 19:04:42   #plt #code #new
7. Language that compiles to Scratch  github.com
   2025-05-19 07:23:39   #plt #code #new
8. Naked objects  en.wikipedia.org
   2025-05-10 21:21:23   #plt #wiki
9. facet: Rust reflection, serialization, deserialization — know the shape of your types  github.com
   2025-04-09 11:53:55   #rust #plt #code #new
10. CoSy  cosy.com
    2025-04-02 06:28:17   #plt #apl #new
11. Roguetype: The first ever roguelike written in the OCaml type system  github.com
    2025-04-01 23:37:17   #ml #plt #code #new
12. spade - A work in progress HDL that doesn't make you want to pull your hair out  gitlab.com
    2025-03-25 13:57:27   #hardware #plt #code #new
13. Neurosymbolic Programming with Scallop  www.scallop-lang.org
    2025-03-22 08:10:40   #ai #plt #new
14. C++/Rust Interoperability Problem Statement  github.com
    2025-03-21 22:53:17   #rust #cpp #plt #code #new
15. A C implementation of defer using `goto`  gist.github.com
    2025-03-20 14:58:12   #c #plt #gist
16. From Languages to Language Sets  gist.github.com
    2025-03-17 03:15:40   #plt #gist
17. The Cp1 Programming Language  cp1-lang.org
    2025-03-10 17:51:10   #c #programming #plt #new
18. polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference  github.com
    2025-02-07 17:20:11   #plt #code #new
19. buzz 0.5.0 release  github.com
    2025-01-24 10:59:15   #plt #zig #code #new #release
20. Eve Programming Language  witheve.com
    2025-01-23 20:30:14   #plt #new
21. Podcast: Type Theory Forall  www.typetheoryforall.com
    2025-01-18 15:47:02   #ml #plt #new
22. 8th  8th-dev.com
    2025-01-06 22:47:09   #programming #plt #new
23. recursive expansions  gist.github.com
    2025-01-06 17:02:25   #unix #plt #gist
24. Carbon Copy Newsletter No.5  github.com
    2024-12-17 07:47:42   #compilers #plt #code #new
25. Tree Calculus  treecalcul.us
    2024-12-10 05:54:48   #programming #plt #new

< 2 / 7 >