jaked / reconstructing-typescript

Related projects ⓘ

Alternatives and complementary repositories for reconstructing-typescript

• cdiggins / type-inference
  Type Inference Library written in TypeScript
  ☆92Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• effect-handlers / wasm-spec
  WebAssembly specification, reference interpreter, and test suite.
  ☆13Updated last year
• mgechev / typed-calc
  Interpreter for simply typed lambda calculus implemented in JavaScript λ
  ☆34Updated 7 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 3 years ago
• lemaetech / reparse
  Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
  ☆53Updated 3 years ago
• jaredly / jerd
  ☆36Updated 3 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆111Updated 2 months ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆75Updated 7 years ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated 3 weeks ago
• janestreet / stdio
  Standard IO Library for OCaml
  ☆38Updated 3 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆133Updated 5 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 3 months ago
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆27Updated 2 years ago
• jaredly / j3
  Another attempt to realize my programming language
  ☆18Updated last week
• jkoppel / ecta
  ☆33Updated 7 months ago
• susisu / effects
  Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful
  ☆22Updated last year
• effect-handlers / wasm-effect-handlers
  WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
  ☆31Updated 2 years ago
• atennapel / bidirectional.js
  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"
  ☆75Updated 3 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated last month
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆111Updated 11 months ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 4 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• remixlabs / wasicaml
  Translate OCaml bytecode to WebAssembly
  ☆130Updated last year
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 4 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆51Updated last year
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 3 years ago