hellerve / carp-vim
A Vim plugin for Carp
☆17Updated 3 years ago
Alternatives and similar repositories for carp-vim:
Users that are interested in carp-vim are comparing it to the libraries listed below
- dependently-typed lisp with flexible compiler backends☆28Updated 5 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 4 years ago
- Font for turning J into APL☆12Updated 6 years ago
- A Hindley-Milner type inference implementation in Prolog☆13Updated 9 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- My personal template repository for Racket packages☆15Updated 4 years ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated last year
- A Scheme compiler to Lua bytecode☆22Updated 7 years ago
- Luml is a type-inferred ML-style language that cross-compiles to Lua☆16Updated 6 years ago
- A #lang implementation of Lua 5.4 for Racket.☆53Updated last year
- Idris Version Manager☆15Updated last month
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 3 months ago
- An implementation of the Lox language in Racket.☆32Updated last year
- ☆21Updated 4 years ago
- ☆12Updated 8 months ago
- Rust high level bindings for Janet☆66Updated last week
- An error-tolerant live programming environment (my Master's thesis)☆18Updated 2 years ago
- Implementation of the Aardappel programming language☆31Updated 7 years ago
- command-line argument parser for Janet☆29Updated last year
- A tree-sitter grammar parser for Janet☆16Updated 2 years ago
- ☆35Updated 5 years ago
- ☆20Updated last year
- A Language Server (LSP) for the Janet programming language.☆37Updated 2 weeks ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Sensible file watching for Racket☆9Updated 4 years ago
- Kiwi content management engine☆13Updated 5 months ago
- ☆18Updated 2 months ago
- A grammar of data manipulation for Racket.☆20Updated 2 months ago
- A simple website written with the Racket webserver, supporting runtime code-reloading.☆12Updated 10 years ago