florence / pop-pl
A Patient-Oriented Prescription Programing Language
☆20Updated 7 years ago
Alternatives and similar repositories for pop-pl:
Users that are interested in pop-pl are comparing it to the libraries listed below
- Relational Programming in miniKanren☆52Updated 9 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Utility for interactive exploration of complex data structures.☆33Updated 8 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- An environment variable manager for Racket applications☆17Updated last year
- Kanren with databases☆43Updated 6 months ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- ☆45Updated 3 months ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆14Updated 6 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- racket-cheat - a cheat sheet for Racket☆36Updated last month
- Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.☆12Updated last year
- Decentralized Software Organisms☆18Updated 2 years ago
- an IMAP mail client implemented in Racket☆31Updated 7 months ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago
- Designing Programs with Class☆27Updated 7 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Use Travis CI with Racket☆42Updated 3 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 8 months ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- A data frame implementation for Racket☆37Updated 9 months ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆27Updated 6 years ago
- a code coverage tool for racket☆38Updated 9 months ago
- Quickcheck Clone implemented in Racket☆31Updated 6 months ago
- simple bindings for the github api☆20Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 10 years ago