ratish-punnoose / tla-mode
tla-mode for emacs
☆21Updated 3 years ago
Related projects: ⓘ
- Emacs major mode for Alloy☆13Updated 6 years ago
- A clone of DrRacket-style Unicode symbol input for Emacs☆16Updated 2 years ago
- Emacs bindings for hlint's --refactor option☆27Updated 5 years ago
- Official collection of YASnippet Haskell snippets for Emacs.☆12Updated 3 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Lazy sequence library for Emacs.☆31Updated 8 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆9Updated 8 years ago
- Tools for interacting with Boogie☆45Updated 8 months ago
- TLA+ tools for Emacs☆29Updated 3 months ago
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 2 years ago
- Collection of syntax/parse macros☆29Updated last year
- Type expanders (i.e. type-level functions) for Typed/Racket☆17Updated 2 years ago
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆55Updated 4 months ago
- Company-mode completion back-end for haskell-cabal-mode☆14Updated 7 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- A company backend for haskell☆22Updated 5 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 4 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆16Updated 7 years ago
- Improved Haskell support for Flycheck☆67Updated last year
- Tool for detecting bad style in Standard ML programs☆16Updated 5 years ago
- ☆31Updated 8 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- A Racket library for interacting with Idris over the IDE protocol☆30Updated 6 years ago
- Concatenative relational interpreter in miniKanren☆22Updated 9 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.☆12Updated last year
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- SML Parser Combinator Library☆27Updated 8 years ago