1. facet: Rust reflection, serialization, deserialization — know the shape of your types  github.com
    2025-04-09 11:53:55   #rust #plt #code #new
  2. CoSy  cosy.com
    2025-04-02 06:28:17   #plt #apl #new
  3. Roguetype: The first ever roguelike written in the OCaml type system  github.com
    2025-04-01 23:37:17   #ml #plt #code #new
  4. Spade, a hardware description language inspired by modern software languages  spade-lang.org
    2025-03-27 16:10:00   #hardware #plt #new
  5. 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
  6. Neurosymbolic Programming with Scallop  www.scallop-lang.org
    2025-03-22 08:10:40   #ai #plt #new
  7. C++/Rust Interoperability Problem Statement  github.com
    2025-03-21 22:53:17   #rust #cpp #plt #code #new
  8. A C implementation of defer using `goto`  gist.github.com
    2025-03-20 14:58:12   #c #plt #gist
  9. From Languages to Language Sets  gist.github.com
    2025-03-17 03:15:40   #plt #gist
  10. The Cp1 Programming Language  cp1-lang.org
    2025-03-10 17:51:10   #c #programming #plt #new
  11. 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
  12. buzz 0.5.0 release  github.com
    2025-01-24 10:59:15   #plt #zig #code #new #release
  13. Eve Programming Language  witheve.com
    2025-01-23 20:30:14   #plt #new
  14. Podcast: Type Theory Forall  www.typetheoryforall.com
    2025-01-18 15:47:02   #ml #plt #new
  15. 8th  8th-dev.com
    2025-01-06 22:47:09   #programming #plt #new
  16. recursive expansions  gist.github.com
    2025-01-06 17:02:25   #unix #plt #gist
  17. Carbon Copy Newsletter No.5  github.com
    2024-12-17 07:47:42   #compilers #plt #code #new
  18. Tree Calculus  treecalcul.us
    2024-12-10 05:54:48   #programming #plt #new
  19. The Acton Programming Language  github.com
    2024-12-05 21:35:21   #python #plt #code #new
  20. Macros in Dart  github.com
    2024-12-02 16:22:25   #compilers #plt #code #new
  21. CORAL: a Rust-like Borrow Checker for C  github.com
    2024-11-07 22:13:59   #c #programming #rust #plt #code #new
  22. whippet: A work-in-progress garbage collector for Guile  github.com
    2024-10-19 18:48:22   #programming #plt #code #new
  23. Welcome to transputer.net (2007)  transputer.net
    2024-10-18 18:00:39   #hardware #plt #retrocomputing #new
  24. macro-forth: Forth implemented in compile-time rust macros  github.com
    2024-09-06 20:58:57   #rust #plt #code #new
  25. aya-dev: A proof assistant and a dependently-typed language  github.com
    2024-08-29 07:23:14   #formalmethods #plt #code #new

< 1 / 6 >