Dependent JavaScript: A Typed Dialect
☆87May 14, 2013Updated 12 years ago
Alternatives and similar repositories for djs
Users that are interested in djs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- Implementation of the Delta Language☆13Mar 18, 2024Updated 2 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- Luvvie Script. An Erlang dialect that compiles to Javascript for Actor-style DOM scripting☆114Nov 1, 2014Updated 11 years ago
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- Racket-based implementation of Adapton☆24Jun 29, 2019Updated 6 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆29Jan 24, 2024Updated 2 years ago
- Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes☆21Sep 1, 2019Updated 6 years ago
- JavaScript semantics☆18Aug 10, 2012Updated 13 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- a type level lisp interpreter on Rust's type system☆10Nov 11, 2016Updated 9 years ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated last month
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- Parsing library based on Earley Algorithm☆18Jun 11, 2025Updated 9 months ago
- NES Emulator written in Rust embedded in STM32. Optimized for embedded.☆17Nov 18, 2020Updated 5 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated 2 years ago
- Hom - React.JS for Haskell!☆38Oct 2, 2014Updated 11 years ago
- Learning rigid grammars in Haskell.☆24Nov 19, 2017Updated 8 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 5 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- Logging module for OCaml☆11Aug 1, 2021Updated 4 years ago
- Integrating ReasonReact with Erratique's React!☆36Dec 23, 2024Updated last year
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- ☆16Feb 18, 2025Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated 2 months ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated 11 months ago
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 8 years ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- OCaml-TLS exposed to C☆23Feb 27, 2018Updated 8 years ago
- Toy demo of lexing/parsing in Coq☆12Jul 3, 2019Updated 6 years ago
- A notional machine for the SMoL languages☆17Mar 18, 2026Updated last week
- ☆23Mar 14, 2024Updated 2 years ago