deinprogramm / schreibe-dein-programmLinks
Schreibe Dein Programm!
☆38Updated 11 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
Sorting:
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Emacs Does Interactive Prolog☆41Updated 9 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- the 7 gui project☆56Updated last year
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆54Updated 8 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- ☆38Updated 2 months ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Data Structure Optimization for Functional Programs☆34Updated 6 years ago
- Lang Party 2022☆25Updated 2 years ago
- A data visualization library for Racket.☆37Updated 8 months ago
- Emacs major mode for editing J code.☆49Updated 9 months ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆28Updated last month
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…☆60Updated 2 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
- ☆67Updated last week
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆135Updated 7 years ago
- Emacs major mode for Alloy☆13Updated 7 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- MiServer- an APL-based web server - requires Dyalog APL available from http://www.dyalog.com☆48Updated last month
- Interactive POetry Editor☆28Updated 3 years ago
- Learn Racket by doing: Practice language features by fixing topic-oriented unit tests.☆80Updated 2 years ago