deinprogramm / schreibe-dein-programm
Schreibe Dein Programm!
☆38Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for schreibe-dein-programm
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated last month
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 5 years ago
- Optional types for Prolog☆16Updated 4 years ago
- a library to assist in the design of geometric designs☆25Updated 4 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A basic APL Skeleton to get you started writing with APL☆19Updated 6 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- Lang Party 2022☆24Updated 2 years ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 12 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- Prototypes: Object Orientation, Functionally☆41Updated 2 months ago
- Emacs Does Interactive Prolog☆37Updated last month
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆23Updated 2 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- A Racket refactoring engine☆58Updated this week
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated last year
- A port of sweet expressions to Racket☆47Updated last year
- Code for embedding BASIC inside of Racket☆12Updated 3 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- remix - a revised version of Racket☆33Updated last year