es4 clone
☆27Feb 27, 2014Updated 12 years ago
Alternatives and similar repositories for es4
Users that are interested in es4 are comparing it to the libraries listed below
Sorting:
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Feb 27, 2014Updated 12 years ago
- This project contains the data for https://aka.ms/apicatalog, a tool to visualize and analyze the API overlap between standards specifica…☆15Mar 5, 2018Updated 7 years ago
- ooc operating system☆41May 24, 2021Updated 4 years ago
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- Font for turning J into APL☆12Sep 30, 2018Updated 7 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Web Components Vector Icons 🚀🆕☆13Feb 24, 2018Updated 8 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 10 months ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- A cycle accurate emulator for the 6502 microprocessor☆18Oct 1, 2023Updated 2 years ago
- A Python interpreter for the huh? programming language.☆10Mar 1, 2018Updated 8 years ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Render, select coordinates, export to video and more.☆13Apr 28, 2024Updated last year
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- ☆20Sep 1, 2018Updated 7 years ago
- gl.xml parser / GL bindings generator☆18May 22, 2023Updated 2 years ago
- A Haskell derived programming language for systems development.☆14Sep 18, 2018Updated 7 years ago
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Mar 4, 2024Updated 2 years ago
- Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust☆46Jun 1, 2016Updated 9 years ago
- Ordo: A minimalist language with row polymorphism☆86Feb 3, 2026Updated last month
- Peer-to-peer OpenStreetMap database over hyperdb.☆24Mar 27, 2018Updated 7 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- Convert a series of strings into a radix tree☆25Sep 6, 2018Updated 7 years ago
- Typed λ-calculus in Rust☆30Jun 27, 2023Updated 2 years ago
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- Attempts to isolate perceived issue with bundle splitting css in Webpack.☆22Apr 17, 2017Updated 8 years ago
- A type-checker for Haskell with integer constraints☆42Feb 21, 2015Updated 11 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- ☆60Aug 18, 2021Updated 4 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 5 months ago
- Javascript Gameboy☆46Jan 11, 2016Updated 10 years ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 years ago
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- Webextension experiment proposing 'printservice' Javascript API☆10Jul 25, 2018Updated 7 years ago
- A GameBoy Advance emulator in JavaScript and HTML5☆40Aug 10, 2014Updated 11 years ago