tomlokhorst / language-cilView external linksLinks
Manipulating Common Intermediate Language AST in Haskell
☆22Nov 12, 2016Updated 9 years ago
Alternatives and similar repositories for language-cil
Users that are interested in language-cil are comparing it to the libraries listed below
Sorting:
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- A library for higher order functional programming with homotopy maps to construct 3D geometry☆15Apr 11, 2021Updated 4 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Sep 1, 2020Updated 5 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆134Oct 29, 2018Updated 7 years ago
- Implementation of Univalence in Cubical Sets☆146Jul 19, 2015Updated 10 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆25Jun 30, 2023Updated 2 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- ☆25Aug 10, 2016Updated 9 years ago
- Type declarations for jQuery☆30Mar 20, 2020Updated 5 years ago
- The Alms Programming Language☆44Aug 29, 2018Updated 7 years ago
- Sparsey, trademark Neurithmic Systems, is unsupervised learning algorithm inspired from the computations of cortical macro-columns and mi…☆12Feb 27, 2023Updated 2 years ago
- ☆10Apr 18, 2021Updated 4 years ago
- Link to preprints for ICFP'17 and colocated events☆136Jun 19, 2018Updated 7 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Mar 19, 2016Updated 9 years ago
- Blocks graphs in blueprints to keep a consistent codebase for C++ projects☆10Jul 28, 2023Updated 2 years ago
- ☆18Mar 6, 2013Updated 12 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- Sublime Open Shading Language☆16Feb 23, 2019Updated 6 years ago
- Small experimental Unity project: DXR + Spline☆14Sep 13, 2023Updated 2 years ago
- Repo for hands-on held on 19/04/28.☆10May 1, 2019Updated 6 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- ☆12Apr 4, 2019Updated 6 years ago
- Holoplay.js compatible server for Linux (and probably other OSes)☆10Mar 27, 2019Updated 6 years ago
- speeds up your Rust program's execution by "priming" memory pages from your binary☆13Aug 22, 2024Updated last year
- Lasercut construction of the first calculating machine after Wilhelm Schickard 1623☆12Feb 26, 2025Updated 11 months ago
- A free and open source dedicated server for Terraria written in Java.☆10Apr 18, 2012Updated 13 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Dec 31, 2020Updated 5 years ago
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- An implementation of a dependently-typed intermediate language used by Tesseract.☆30Jan 1, 2016Updated 10 years ago
- ☆45Jun 20, 2019Updated 6 years ago