vmchale / ats-vim
Vim plugin for ATS
☆16Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for ats-vim
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- Build tool for ATS.☆41Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Oleg Kiselyov's zipper-based file-server/OS☆24Updated 4 years ago
- Pretty-print error messages of the ATS Compiler☆31Updated 5 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated 2 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- ☆46Updated 7 years ago
- xmonad in Coq☆43Updated 12 years ago
- Rope data structure used by Yi☆19Updated 6 years ago
- A simple Prolog interpreter☆43Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- A natural transformation package☆16Updated 3 weeks ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- MixML prototype interpreter☆27Updated 4 years ago
- ☆23Updated 6 years ago
- A Dependently Typed Programming Language☆27Updated 4 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- The Alms Programming Language☆44Updated 6 years ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 5 years ago