dwwmmn / alloy-mode
Emacs major mode for Alloy
☆13Updated 6 years ago
Related projects: ⓘ
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 2 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆16Updated 7 years ago
- Syntax Parse Bee 2021☆11Updated last year
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 2 years ago
- Lazy sequence library for Emacs.☆31Updated 8 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- Collection of syntax/parse macros☆29Updated last year
- raart - racket ansi art☆14Updated 2 years ago
- A grammar of data manipulation for Racket.☆21Updated 2 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 8 years ago
- Quickcheck Clone implemented in Racket☆32Updated last month
- Simple, filesystem-based caching for Racket☆17Updated 2 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆20Updated 3 years ago
- A property-based testing library for Racket.☆28Updated 4 months ago
- ☆15Updated 7 years ago
- Implementation of local and remote loci for Racket☆13Updated 3 years ago
- ☆18Updated last year
- Auto define Racket bindings to C by parsing header files.☆28Updated 2 years ago
- Decentralized Software Organisms☆16Updated 2 years ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Updated 3 years ago
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 2 years ago
- nand-lang☆15Updated 6 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- An optics (lenses, prisms, traversals, etc.) library for Racket.☆10Updated 4 years ago