conjure-cp / conjure-oxideLinks
☆12Updated this week
Alternatives and similar repositories for conjure-oxide
Users that are interested in conjure-oxide are comparing it to the libraries listed below
Sorting:
- A stack-based array programming language☆1,905Updated this week
- A modern Prolog implementation written mostly in Rust.☆2,283Updated this week
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Updated 8 months ago
- 2048, but the RNG is always against you☆10Updated 2 years ago
- An APL-like programming language☆999Updated 3 weeks ago
- En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠☆11Updated 3 years ago
- An experiment in presenting geometry☆16Updated 5 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Advent Of Code 2022☆26Updated 2 years ago
- St Andrews Computer Science Checker☆20Updated 5 months ago
- ☆18Updated 3 months ago
- Web playground to try Scryer Prolog in your browser!☆14Updated last year
- Resource gathering + programming game☆885Updated last week
- The Power of Prolog: Introduction to modern Prolog☆1,326Updated last month
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.☆1,449Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆656Updated 3 months ago
- Summaries of my university courses (in German)☆26Updated 5 years ago
- egg is a flexible, high-performance e-graph library☆1,567Updated 2 weeks ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆11Updated 2 years ago
- Repository for homeworks.☆10Updated 4 years ago
- General-purpose editor/IDE with high expansibility in Common Lisp☆2,740Updated last week
- Generative art in Common Lisp☆1,574Updated 2 years ago
- ELTE IK tananyagok☆105Updated last year
- Koka language compiler and interpreter☆3,639Updated last week
- ☆16Updated last year
- Graph-oriented live coding language and music/audio DSP library written in Rust☆2,799Updated 5 months ago
- SWI-Prolog Main development repository☆1,110Updated this week
- Public repository for HPPS 2022☆21Updated 2 years ago
- ☆15Updated this week