1. Set theoretic typing for Elixir - demo  typex.fly.dev
    2023-06-14 10:15:30   #elixir #plt #new
  2. cane-lang: A funky programming language made in 24 hours  sr.ht
    2023-06-05 15:02:07   #rust #plt #code #new
  3. DreamBerd: perfect programming language  github.com
    2023-06-05 00:28:13   #satire #plt #code #new
  4. Deco: Delimiter Collision Free Format  github.com
    2023-05-18 14:42:58   #plt #code #new
  5. Wyvern: A Language for Usable Design Driven Assurance (2017)  github.com
    2023-05-18 07:13:37   #security #plt #code #new
  6. Nickel language  nickel-lang.org
    2023-05-17 15:09:52   #devops #programming #plt #new
  7. Coherence and Orphan Rules in Rust: An unofficial, experimental place for documenting …  github.com
    2023-05-01 21:56:30   #rust #plt #code #new
  8. 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
  9. OCaml Data Race Freedom Proposal  github.com
    2023-04-17 23:28:31   #ml #plt #code #new
  10. swift-evolution/0382: Expression Macros  github.com
    2023-04-09 19:39:45   #swift #plt #code #new
  11. bytebeat-rs: bytebeat written in rust  github.com
    2023-04-08 08:00:26   #c #rust #art #audio #plt #code #new
  12. effing-mad: Algebraic effects for Rust  github.com
    2024-06-14 04:51:10   #rust #plt #code #new
  13. Yaksha Programming Language  yakshalang.github.io
    2023-05-12 01:46:41   #plt #new
  14. GC Extension for WebAssembly  github.com
    2023-03-11 17:04:02   #assembly #web #plt #code #new
  15. Dak Language  www.daklang.com
    2023-03-03 18:13:45   #lisp #javascript #compilers #plt #new
  16. How to implement dependent types in 80 lines of code  gist.github.com
    2023-02-25 18:51:35   #plt #gist
  17. Trustfall  github.com
    2025-01-27 19:53:45   #databases #api #plt #code #new
  18. 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
  19. Rockstar is a language designed for creating programs that are also power metal ballads  codewithrockstar.com
    2023-01-01 17:01:24   #plt #new
  20. Kind: A next-gen functional language  github.com
    2022-12-21 17:31:43   #programming #plt #code #new
  21. Programming Languages: Application and Interpretation (3rd edition)  www.plai.org
    2025-07-28 03:27:34   #lisp #book #plt #new
  22. Racketfest 2023 A delightful place to enjoy Racket and language-oriented programming  racketfest.com
    2022-11-28 15:14:43   #event #lisp #plt #new
  23. 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
  24. fathom - A declarative data definition language for formally specifying binary data  github.com
    2022-11-24 05:14:12   #formalmethods #plt #code #new
  25. Kindelia Foundation  kindelia.org
    2022-11-17 19:38:02   #haskell #distributed #plt #new

< 5 / 7 >