Dependent JavaScript: A Typed Dialect
☆88May 14, 2013Updated 13 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 11 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 7 months ago
- A PPX deriver that automates differential testing for OCaml modules☆26Nov 30, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Racket-based implementation of Adapton☆25Jun 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
- Analyze experimental data with Programming by Navigation☆17Jun 6, 2026Updated last week
- JavaScript semantics☆18Aug 10, 2012Updated 13 years ago
- ☆16Feb 20, 2019Updated 7 years ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 4 months ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last year
- 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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☆17May 18, 2026Updated last month
- Content-addressed identifiers in OCaml☆17Mar 23, 2023Updated 3 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Apr 8, 2025Updated last year
- Learning to Blame Type Errors from Novice Mistakes☆10Sep 19, 2017Updated 8 years ago
- The Prettiest Printer☆35Feb 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Framework for benchmarking on multiple cores on current-bench☆15Jun 14, 2025Updated last year
- OCaml-TLS exposed to C☆25Feb 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☆16Apr 10, 2026Updated 2 months ago
- ☆23Mar 14, 2024Updated 2 years ago
- An implementation of "A Pretty Expressive Printer" in OCaml☆26Mar 13, 2024Updated 2 years ago
- E-mail message parser☆12May 18, 2026Updated last month