mrkkrp / shtookovina
☆16Updated this week
Related projects: ⓘ
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- A logic programming library for Common Lisp.☆57Updated 3 years ago
- LIL: higher-order datastructures meet CLOS -- Paper published at ILC'2012☆21Updated 11 months ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆12Updated 3 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 2 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- A simple directed graph implementation for Common Lisp.☆24Updated 10 months ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆20Updated 3 years ago
- Common Lisp implementation of rope datastructure☆33Updated last week
- Collection of Utilities for Gerbil Scheme☆43Updated last month
- Manipulating racket bytecode☆25Updated 2 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- experimental computational medium and supporting tools☆22Updated this week
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 3 months ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Pluggable types for Common Lisp☆18Updated 9 months ago
- remix - a revised version of Racket☆33Updated last year
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- ML-like Pattern Matching for Common Lisp☆29Updated 12 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 8 years ago
- Quickcheck Clone implemented in Racket☆32Updated last month
- Geneva: portable document preparation system☆9Updated 7 years ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 10 years ago