1. OCaml Data Race Freedom Proposal  github.com
    2023-04-17 23:28:31   #ml #plt #code #new
  2. swift-evolution/0382: Expression Macros  github.com
    2023-04-09 19:39:45   #swift #plt #code #new
  3. bytebeat-rs: bytebeat written in rust  github.com
    2023-04-08 08:00:26   #c #rust #art #audio #plt #code #new
  4. effing-mad: Algebraic effects for Rust  github.com
    2024-06-14 04:51:10   #rust #plt #code #new
  5. Yaksha Programming Language  yakshalang.github.io
    2023-05-12 01:46:41   #plt #new
  6. GC Extension for WebAssembly  github.com
    2023-03-11 17:04:02   #assembly #web #plt #code #new
  7. Dak Language  www.daklang.com
    2023-03-03 18:13:45   #lisp #javascript #compilers #plt #new
  8. How to implement dependent types in 80 lines of code  gist.github.com
    2023-02-25 18:51:35   #plt #gist
  9. Trustfall  github.com
    2025-01-27 19:53:45   #databases #api #plt #code #new
  10. EcmaScript spec is ready-to-use interpreter. It is attribute affix grammar. It is PLT paradise  github.com
    2023-01-17 17:03:34   #javascript #plt #code #new
  11. Rockstar is a language designed for creating programs that are also power metal ballads  codewithrockstar.com
    2023-01-01 17:01:24   #plt #new
  12. Kind: A next-gen functional language  github.com
    2022-12-21 17:31:43   #programming #plt #code #new
  13. Racketfest 2023 A delightful place to enjoy Racket and language-oriented programming  racketfest.com
    2022-11-28 15:14:43   #event #lisp #plt #new
  14. Rune is a programming language developed to test ideas for improving security and efficiency  github.com
    2022-11-27 21:00:51   #plt #code #new #security
  15. fathom - A declarative data definition language for formally specifying binary data  github.com
    2022-11-24 05:14:12   #formalmethods #plt #code #new
  16. Kindelia Foundation  kindelia.org
    2022-11-17 19:38:02   #haskell #distributed #plt #new
  17. The Om Programming Language  www.om-language.org
    2023-11-19 02:44:06   #plt #new
  18. Programming and Proving in Agda  github.com
    2022-10-26 17:22:37   #pdf #plt #code #new
  19. Text Generation with a Grammar in LispE  github.com
    2022-10-20 13:40:38   #lisp #plt #code #new
  20. A Possible Vision for Macros in Swift  gist.github.com
    2022-10-18 04:20:11   #swift #plt #gist
  21. S6: Deepmind's Python JIT on top of CPython  github.com
    2022-09-18 18:03:14   #python #compilers #plt #code #new
  22. Qworum - A platform for distributed web applications  qworum.net
    2022-09-13 20:24:37   #web #plt #new
  23. Stabilize generic associated types PR merged  github.com
    2022-09-13 16:07:34   #rust #plt #code #new
  24. Alumina programming language  docs.alumina-lang.net
    2022-09-05 23:54:24   #plt #new
  25. lalrpop: LR(1) parser generator for Rust  github.com
    2022-09-05 13:05:56   #rust #plt #code #new

< 4 / 6 >