conjure-cp / conjure-oxideLinks
☆15Updated last week
Alternatives and similar repositories for conjure-oxide
Users that are interested in conjure-oxide are comparing it to the libraries listed below
Sorting:
- The University of St Andrews Computer Science Operating System☆12Updated last week
 - A tacit array programming language☆1,946Updated this week
 - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,472Updated this week
 - Árbol de Correlativas de LCC☆10Updated 3 years ago
 - 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 10 months ago
 - A modern Prolog implementation written mostly in Rust.☆2,301Updated 2 weeks ago
 - ELTE IK tananyagok☆121Updated last year
 - Rust VM for Emacs☆693Updated last week
 - Tree Proof Generator☆173Updated 8 months ago
 - CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆661Updated 4 months ago
 - An APL-like programming language☆1,008Updated last week
 - Web playground to try Scryer Prolog in your browser!☆14Updated last year
 - This repo is the new home of Proof General☆539Updated last month
 - ELTE FI bachelor and master thesis template.☆73Updated last year
 - Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
 - Opgaves van de voorbije jaren☆22Updated last year
 - While language static analyzer☆10Updated 5 years ago
 - Notes from subjects taught on TCS, JU☆27Updated last week
 - An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
 - GNU Emacs / N Λ N O - Emacs made simple☆2,767Updated 3 weeks ago
 - Common Lisp 3D Graphics Project☆631Updated last year
 - A place for automata☆79Updated this week
 - En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠☆11Updated 3 years ago
 - The Common Lisp Cookbook☆994Updated last week
 - An open-source, customizable intermediate logic textbook☆1,219Updated last week
 - ☆17Updated last week
 - 5D Diplomacy With Multiverse Time Travel☆1,044Updated 5 months ago
 - Qui troverete tutto il codice che "sforneremo" e studieremo in questi anni☆12Updated 3 years ago
 - Resource gathering + programming game☆893Updated last week
 - Repositorio de la optativa para la FCEIA☆15Updated 6 months ago