1. Effekt Language: Home  effekt-lang.org
   2025-05-27 10:38:59   #compsci #plt #new
2. lamber: functional scripting language compiling to Lambda Calculus  github.com
   2025-05-24 19:04:42   #plt #code #new
3. Language that compiles to Scratch  github.com
   2025-05-19 07:23:39   #plt #code #new
4. Naked objects  en.wikipedia.org
   2025-05-10 21:21:23   #plt #wiki
5. facet: Rust reflection, serialization, deserialization — know the shape of your types  github.com
   2025-04-09 11:53:55   #rust #plt #code #new
6. CoSy  cosy.com
   2025-04-02 06:28:17   #plt #apl #new
7. Roguetype: The first ever roguelike written in the OCaml type system  github.com
   2025-04-01 23:37:17   #ml #plt #code #new
8. 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
9. Neurosymbolic Programming with Scallop  www.scallop-lang.org
   2025-03-22 08:10:40   #ai #plt #new
10. C++/Rust Interoperability Problem Statement  github.com
    2025-03-21 22:53:17   #rust #cpp #plt #code #new
11. A C implementation of defer using `goto`  gist.github.com
    2025-03-20 14:58:12   #c #plt #gist
12. From Languages to Language Sets  gist.github.com
    2025-03-17 03:15:40   #plt #gist
13. The Cp1 Programming Language  cp1-lang.org
    2025-03-10 17:51:10   #c #programming #plt #new
14. 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
15. buzz 0.5.0 release  github.com
    2025-01-24 10:59:15   #plt #zig #code #new #release
16. Eve Programming Language  witheve.com
    2025-01-23 20:30:14   #plt #new
17. Podcast: Type Theory Forall  www.typetheoryforall.com
    2025-01-18 15:47:02   #ml #plt #new
18. 8th  8th-dev.com
    2025-01-06 22:47:09   #programming #plt #new
19. recursive expansions  gist.github.com
    2025-01-06 17:02:25   #unix #plt #gist
20. Carbon Copy Newsletter No.5  github.com
    2024-12-17 07:47:42   #compilers #plt #code #new
21. The Acton Programming Language  github.com
    2024-12-05 21:35:21   #python #plt #code #new
22. Macros in Dart  github.com
    2024-12-02 16:22:25   #compilers #plt #code #new
23. CORAL: a Rust-like Borrow Checker for C  github.com
    2024-11-07 22:13:59   #c #programming #rust #plt #code #new
24. Raku  raku.org
    2025-09-10 18:39:13   #plt #new
25. whippet: A work-in-progress garbage collector for Guile  github.com
    2024-10-19 18:48:22   #programming #plt #code #new

< 3 / 8 >