1. The Om Programming Language  www.om-language.org
    2023-11-19 02:44:06   #plt #new
  2. Programming and Proving in Agda  github.com
    2022-10-26 17:22:37   #pdf #plt #code #new
  3. Text Generation with a Grammar in LispE  github.com
    2022-10-20 13:40:38   #lisp #plt #code #new
  4. A Possible Vision for Macros in Swift  gist.github.com
    2022-10-18 04:20:11   #swift #plt #gist
  5. S6: Deepmind's Python JIT on top of CPython  github.com
    2022-09-18 18:03:14   #python #compilers #plt #code #new
  6. Qworum - A platform for distributed web applications  qworum.net
    2022-09-13 20:24:37   #web #plt #new
  7. Stabilize generic associated types PR merged  github.com
    2022-09-13 16:07:34   #rust #plt #code #new
  8. Alumina programming language  docs.alumina-lang.net
    2022-09-05 23:54:24   #plt #new
  9. lalrpop: LR(1) parser generator for Rust  github.com
    2022-09-05 13:05:56   #rust #plt #code #new
  10. RFC: New PLDB homepage  pldb.com
    2022-08-31 19:16:40   #plt #new
  11. QuineDot/rust-snags: Gotchas and warts in Rust Lang  github.com
    2022-08-21 07:20:17   #rust #plt #code #new
  12. The Concurnas Programming Language  www.concurnas.com
    2022-08-15 23:39:16   #java #distributed #plt #new
  13. Bolin Programming Language  bolinlang.com
    2022-12-18 01:22:30   #programming #plt #new
  14. Erg: A Python-compatible statically typed language  github.com
    2022-08-14 02:23:14   #plt #code #new
  15. Roc is a language for making delightful software  github.com
    2022-08-12 21:14:08   #plt #code #new
  16. scopes: The Scopes Programming Language & Compiler Infrastructure  sr.ht
    2022-08-08 16:30:47   #lisp #plt #code #new
  17. Trealla Prolog embedded in Go using WASM  github.com
    2022-08-08 04:41:33   #go #plt #code #new
  18. Ceptre, a tiny logic programming language for prototyping rulesets that you can run, interact with  github.com
    2022-08-01 02:23:34   #ml #plt #code #new
  19. Implementation of TypeScript's type system written in TypeScript's own type system  github.com
    2022-07-28 08:56:44   #javascript #plt #code #new
  20. Kerf  github.com
    2022-07-23 20:14:08   #databases #plt #code #new
  21. Carbon Language: An experimental successor to C++  github.com
    2022-07-21 00:42:09   #plt #code #new
  22. Carbon language specification and documentation  github.com
    2022-07-19 19:26:52   #c #cpp #plt #code #new
  23. SML - The Simple Markup Language  simpleml.com
    2022-07-16 07:28:45   #plt #new
  24. Empirical: A language for time-series analysis  www.empirical-soft.com
    2022-07-14 08:58:40   #math #finance #plt #new
  25. Functional programming is finally going mainstream  github.com
    2022-07-14 20:11:34   #plt #code #new

< 6 / 7 >