deinprogramm / schreibe-dein-programm
Schreibe Dein Programm!
☆39Updated 8 months ago
Alternatives and similar repositories for schreibe-dein-programm:
Users that are interested in schreibe-dein-programm are comparing it to the libraries listed below
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Emacs Does Interactive Prolog☆41Updated 6 months ago
- Binaryen bindings for Racket☆11Updated 3 years ago
- Code for embedding BASIC inside of Racket☆12Updated 3 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Lang Party 2022☆25Updated 2 years ago
- Reason about Bitcoin addresses with Prolog☆22Updated last year
- Relational Programming in miniKanren☆52Updated 9 years ago
- Boolean Constraint Solving in Prolog☆42Updated 4 months ago
- remix - a revised version of Racket☆33Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 6 months ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 8 months ago
- an IMAP mail client implemented in Racket☆32Updated 9 months ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆80Updated 3 years ago
- minikanren mips assembler/disassembler☆29Updated 10 years ago
- ☆43Updated last month
- The best experimental economics software built in Racket☆25Updated last week
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Source for my blog☆26Updated 2 years ago
- the 7 gui project☆56Updated last year
- Prolog stuff☆28Updated 5 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 6 months ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated 3 months ago