1. Coherence and Orphan Rules in Rust: An unofficial, experimental place for documenting …  github.com
    2023-05-01 21:56:30   #rust #plt #code #new
  2. loxcraft: a compiler, language server, and online playground for the Lox programming language  github.com
    2023-04-29 18:18:24   #compsci #release #rust #compilers #plt #wasm #code #new
  3. OCaml Data Race Freedom Proposal  github.com
    2023-04-17 23:28:31   #ml #plt #code #new
  4. swift-evolution/0382: Expression Macros  github.com
    2023-04-09 19:39:45   #swift #plt #code #new
  5. bytebeat-rs: bytebeat written in rust  github.com
    2023-04-08 08:00:26   #c #rust #art #audio #plt #code #new
  6. effing-mad: Algebraic effects for Rust  github.com
    2024-06-14 04:51:10   #rust #plt #code #new
  7. Yaksha Programming Language  yakshalang.github.io
    2023-05-12 01:46:41   #plt #new
  8. GC Extension for WebAssembly  github.com
    2023-03-11 17:04:02   #assembly #web #plt #code #new
  9. Dak Language  www.daklang.com
    2023-03-03 18:13:45   #lisp #javascript #compilers #plt #new
  10. How to implement dependent types in 80 lines of code  gist.github.com
    2023-02-25 18:51:35   #plt #gist
  11. Trustfall  github.com
    2025-01-27 19:53:45   #databases #api #plt #code #new
  12. 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
  13. Rockstar is a language designed for creating programs that are also power metal ballads  codewithrockstar.com
    2023-01-01 17:01:24   #plt #new
  14. Kind: A next-gen functional language  github.com
    2022-12-21 17:31:43   #programming #plt #code #new
  15. Programming Languages: Application and Interpretation (3rd edition)  www.plai.org
    2025-07-28 03:27:34   #lisp #book #plt #new
  16. Racketfest 2023 A delightful place to enjoy Racket and language-oriented programming  racketfest.com
    2022-11-28 15:14:43   #event #lisp #plt #new
  17. 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
  18. fathom - A declarative data definition language for formally specifying binary data  github.com
    2022-11-24 05:14:12   #formalmethods #plt #code #new
  19. Kindelia Foundation  kindelia.org
    2022-11-17 19:38:02   #haskell #distributed #plt #new
  20. The Om Programming Language  www.om-language.org
    2023-11-19 02:44:06   #plt #new
  21. Programming and Proving in Agda  github.com
    2022-10-26 17:22:37   #pdf #plt #code #new
  22. Text Generation with a Grammar in LispE  github.com
    2022-10-20 13:40:38   #lisp #plt #code #new
  23. A Possible Vision for Macros in Swift  gist.github.com
    2022-10-18 04:20:11   #swift #plt #gist
  24. S6: Deepmind's Python JIT on top of CPython  github.com
    2022-09-18 18:03:14   #python #compilers #plt #code #new
  25. Qworum - A platform for distributed web applications  qworum.net
    2022-09-13 20:24:37   #web #plt #new

< 6 / 8 >