A family of type systems for JavaScript
☆12Mar 25, 2013Updated 13 years ago
Alternatives and similar repositories for TeJaS
Users that are interested in TeJaS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Strobe Type Checker for JavaScript☆16Jun 12, 2012Updated 14 years ago
- List Oriented Buffer Operations for Emacs☆26Dec 15, 2024Updated last year
- Generate realistic looking fake data☆11Feb 24, 2018Updated 8 years ago
- A datalog prover, written in haskell.☆12Apr 13, 2014Updated 12 years ago
- WebSharper bindings for D3 (http://d3js.org)☆10Oct 20, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- MuscalietJS: An Extensible Portable Layered JavaScript Engine☆21Mar 6, 2014Updated 12 years ago
- fsharp engine for scriptcs☆14Jul 23, 2015Updated 11 years ago
- Plugin for rustc to dump MIR in JSON format☆16Updated this week
- Semantics for ES5☆84Oct 28, 2015Updated 11 years ago
- Various compiled PythonDotNet versions☆11Dec 11, 2014Updated 11 years ago
- Earley parsing algorithm implementation in Haskell including a CFG definition API☆13Sep 26, 2011Updated 15 years ago
- .NET bindings to Pandoc☆12May 26, 2010Updated 16 years ago
- Haskell ECMA 262 interpreter☆10Jul 13, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- F# build library loosely inspired by Haskell Shake☆16Oct 31, 2013Updated 13 years ago
- Parser and type analysis for the Go programming language☆12Apr 3, 2026Updated 6 months ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- nix interpreter in javascript☆11May 16, 2024Updated 2 years ago
- typed/racket + effect system☆11Aug 31, 2025Updated last year
- A work-in-progress Ace of Spades Classic v0.75 server implementation☆10Feb 22, 2026Updated 8 months ago
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- (POC) A demo illustrating frond-end source code encryption with WebAssembly.☆11Jun 22, 2022Updated 4 years ago
- Simple IRC Bot for flooding☆11Sep 12, 2011Updated 15 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 3 weeks ago
- x86 vm in JavaScript☆12May 26, 2011Updated 15 years ago
- Haskell library for evaluating whether chess moves are allowed on a given position☆13Mar 13, 2015Updated 11 years ago
- Turn any input device into a dedicated macrodevice.☆13May 7, 2022Updated 4 years ago
- ☆13Jul 8, 2024Updated 2 years ago
- Official implementation (compression part) for paper: Numerically Accurate Hyperbolic Embeddings Using Tiling-Based Models☆12Dec 1, 2019Updated 6 years ago
- An experimental LISP syntax for Elm Language, and an ElmLisp → Elm transpiler.☆12Aug 12, 2017Updated 9 years ago
- (to be) the node.js binding for JSX☆12Jun 4, 2014Updated 12 years ago
- ☆12Aug 16, 2026Updated 2 months 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.
- Mail Renderer, Mail Queue, Task Manager☆14Oct 19, 2016Updated 10 years ago
- A Terraform Provider to consume Pulumi Cloud outputs☆14May 10, 2023Updated 3 years ago
- ☆13May 5, 2014Updated 12 years ago
- ☆10Jun 7, 2024Updated 2 years ago
- *DEPRECATED* React + Express + Browserify + History API + Server Side Rendering☆32Feb 10, 2014Updated 12 years ago
- jsjs is a JavaScript engine written in JavaScript on top of the Java Virtual Machine☆13May 2, 2015Updated 11 years ago
- ☆10Mar 13, 2016Updated 10 years ago