The implementation of the Elevate language
☆31Mar 21, 2025Updated 11 months ago
Alternatives and similar repositories for elevate
Users that are interested in elevate are comparing it to the libraries listed below
Sorting:
- Implementation of the RISE language☆14Oct 28, 2020Updated 5 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- The Shine compiler for the RISE language☆83Feb 20, 2026Updated last week
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- A rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming lan…☆17Feb 7, 2024Updated 2 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 4 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Dec 21, 2021Updated 4 years ago
- A web site/blog builder, implemented as a wrapper around org-project.☆17Sep 20, 2021Updated 4 years ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆18Apr 17, 2020Updated 5 years ago
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- SPARQL utilities for PostgreSQL☆22May 11, 2025Updated 9 months ago
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- A library for reading, writing, and representing structures from binary storage☆19Aug 13, 2025Updated 6 months ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 6 months ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Apr 2, 2019Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 3 years ago
- Start☆16May 31, 2016Updated 9 years ago
- GUI Frosthaven Scenario Manager☆18Updated this week
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 3 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆77Jul 30, 2018Updated 7 years ago
- A MinCaml compiler implemented in Rust☆44Updated this week
- A dependently typed type checker for a TT with intervals☆24Feb 6, 2020Updated 6 years ago
- Random-Access Vector Graphics☆29Nov 20, 2010Updated 15 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- Simple Emacs Module System☆30Jan 5, 2015Updated 11 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- Limited-Memory Factorization of Symmetric Matrices☆24Jun 8, 2025Updated 8 months ago
- Multimode simple type theory as an Agda library.☆23Sep 18, 2024Updated last year
- a compiler for re-writing image processing functions in C++ to Halide☆24Jan 28, 2023Updated 3 years ago