dwwmmn / alloy-modeLinks
Emacs major mode for Alloy
☆13Updated 6 years ago
Alternatives and similar repositories for alloy-mode
Users that are interested in alloy-mode are comparing it to the libraries listed below
Sorting:
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆22Updated 4 years ago
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 3 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-repl☆36Updated 3 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Updated last year
- Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.☆12Updated 2 years ago
- raart - racket ansi art☆14Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- A zipper library for Racket☆20Updated 9 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Lazy sequence library for Emacs.☆32Updated 8 years ago
- Syntax Parse Bee 2021☆11Updated 2 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- ☆15Updated 8 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- Easy scripting for DrRacket☆18Updated last month
- The propagator system☆41Updated 9 years ago
- nand-lang☆15Updated 7 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆13Updated 4 years ago
- A property-based testing library for Racket.☆32Updated last year
- Quickcheck Clone implemented in Racket☆31Updated 10 months ago
- Collection of Utilities for Gerbil Scheme