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
- Code for embedding BASIC inside of Racket☆12Updated 3 years ago
- A BASIC-flavored Lisp dialect☆72Updated last year
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- Lang Party 2022☆25Updated 2 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A property-based testing library for Racket.☆31Updated 11 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- Emacs Does Interactive Prolog☆41Updated 5 months ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 7 months ago
- Take an info.rkt file, produce a info.nix file.☆41Updated 3 years ago
- a library to assist in the design of geometric designs☆24Updated 4 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- A mostly FP implementation of Schorre's "syntax-oriented compiler writing language"☆13Updated 6 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆21Updated 2 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- A relational interpretation of Lojban☆33Updated 2 months ago
- Boolean Constraint Solving in Prolog☆41Updated 3 months ago
- Binaryen bindings for Racket☆11Updated 3 years ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last month
- A microKanren framework for implementing constraints.☆18Updated 6 years ago