1. Hindley–Milner Type inferencing in C  github.com
    2022-06-12 22:41:58   #c #plt #code #new
  2. Toit programming language  toitlang.org
    2024-07-11 15:36:42   #plt #new
  3. The Passerine programming language  www.passerine.io
    2022-05-25 17:34:52   #programming #plt #new
  4. The Zimbu Programming Language  www.zimbu.org
    2022-05-19 23:29:24   #vim #plt #new
  5. Budgie Programming Language  docs.budgielang.org
    2022-05-11 16:12:50   #plt #new
  6. A comprehensive test suite for RFC 8259 compliant JSON parsers  github.com
    2022-04-27 00:58:02   #testing #plt #code #new
  7. Neurosymbolic Programming with Scallop  scallop-lang.github.io
    2022-04-19 13:23:53   #ai #plt #new
  8. Semantic Versioning for TypeScript Types (1.0.0-beta.1)  www.semver-ts.org
    2022-04-13 19:04:20   #javascript #web #plt #new
  9. Syntax-Directed Recognition of Hand-Printed Two-Dimensional Mathematics (1967)  github.com
    2022-04-05 21:12:09   #pdf #math #plt #code #new
  10. Hazel: A live functional programming environment featuring typed holes  Hazel.org
    2022-04-04 23:40:17   #plt #new
  11. Hedy - A gradual programming language  hedycode.com
    2022-03-30 01:10:35   #education #plt #new
  12. A new optionally-typed general purpose programming language  github.com
    2022-03-23 15:10:37   #plt #code #new
  13. CUE: Validate, define, and use dynamic and text-based data  cuelang.org
    2022-03-19 23:57:19   #plt #new
  14. Benchmarks compilation speeds of different combinations of languages and compilers  github.com
    2022-03-19 15:46:59   #performance #plt #code #new
  15. TOML: Tom's Obvious Minimal Language  toml.io
    2022-03-18 19:24:51   #plt #new
  16. Unison Milestone 3  github.com
    2022-03-09 17:02:07   #release #plt #code

< 8 / 8 >