1. gptscript: Natural Language Programming  github.com
    2024-02-21 21:14:37   #ai #plt #code #new
  2. Appreciating clpz_t/2  github.com
    2024-02-07 20:03:38   #plt #code #new
  3. language design of Starlark (compared to Python)  github.com
    2024-01-03 22:54:32   #python #plt #code #new
  4. The Sage Programming Language  github.com
    2024-01-03 23:24:31   #plt #code #new
  5. Pattern matching and exhaustiveness checking algorithms implemented in Rust  github.com
    2024-01-01 08:50:06   #rust #compilers #plt #code #new
  6. Garbage collection with zero-cost at non-GC time  gist.github.com
    2023-12-20 03:11:25   #plt #gist
  7. Yaksha release v0.0.5 - MacOS support, c style for loop, string references, inlinec, make  github.com
    2023-12-19 18:46:05   #release #compilers #plt #code #new
  8. Substructural type system ยง The resource interpretation  en.wikipedia.org
    2023-12-17 08:26:16   #plt #wiki
  9. Winglang - New Cloud-Oriented Programming Language  github.com
    2023-12-06 21:20:30   #distributed #plt #code #new
  10. Red Programming Language  www.red-lang.org
    2023-11-21 19:59:18   #plt #new
  11. A simple ray tracer written in the meson.build language  github.com
    2023-11-19 10:14:41   #assembly #graphics #plt #code #new
  12. The Rational Programming Language  github.com
    2023-11-14 17:50:18   #lisp #plt #code #new
  13. WasmFX: Effect Handlers for WebAssembly  wasmfx.dev
    2023-11-08 17:50:51   #plt #wasm #new
  14. Nature Programming Language  nature-lang.org
    2025-12-22 15:43:27   #compilers #plt #new
  15. Ectype - bringing type safety (and more!) to vanilla JavaScript  gitlab.com
    2023-10-11 14:59:41   #javascript #plt #code #new
  16. Try SWI-Prolog Online  swish.swi-prolog.org
    2023-10-01 21:39:56   #programming #plt #new
  17. Picat: logic-based multi-paradigm PL for general-purpose applications  picat-lang.org
    2023-09-25 20:13:30   #programming #plt #new
  18. Rhovas: A programming language for API design and enforcement  rhovas.dev
    2023-09-05 14:13:06   #api #plt #new
  19. Program Proofs  program-proofs.com
    2023-09-01 20:01:00   #dotnet #formalmethods #plt #new
  20. Functional Data Structures and Algorithms. A Proof Assistant Approach  functional-algorithms-verified.org
    2023-09-01 00:24:35   #pdf #book #formalmethods #plt #new
  21. The Crumb Programming Language  github.com
    2023-08-28 18:42:07   #lisp #plt #code #new
  22. finite-wasm: Cheating a little to solve the halting problem at scale  github.com
    2023-08-12 12:37:40   #compilers #plt #wasm #code #new
  23. buzz 0.2.0 release  github.com
    2023-07-27 13:35:09   #release #compilers #plt #code #new
  24. effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects  github.com
    2023-07-09 18:54:48   #plt #code #new
  25. Flunct: Well-typed, fluent APIs in SML  github.com
    2023-06-25 20:53:42   #plt #code #new

< 4 / 7 >