A Vim plugin for Carp
☆17Feb 27, 2026Updated 5 months ago
Alternatives and similar repositories for carp-vim
Users that are interested in carp-vim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple TODO web-app using Vert.x as server☆16Jan 8, 2017Updated 9 years ago
- A Forth-oriented VM and debugger☆22Sep 21, 2025Updated 10 months ago
- CLVIM: Clematis virginiana (devil's darning needles)☆13May 25, 2026Updated 2 months ago
- String manipulation tool written in haskell☆29Mar 15, 2024Updated 2 years ago
- PicoLisp support for Emacs.☆18Mar 28, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- maps are everything.☆10Jul 3, 2025Updated last year
- 📓 TextMate syntax highlighting for Extended Backus–Naur Form☆14Oct 30, 2016Updated 9 years ago
- ☆11Jul 1, 2020Updated 6 years ago
- Read and write images as massiv arrays☆14Oct 23, 2021Updated 4 years ago
- Collection of ATS goodness☆34Nov 19, 2019Updated 6 years ago
- Access Chez Scheme documentation from the REPL☆33May 3, 2026Updated 3 months ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 5 years ago
- Rust high level bindings for Janet☆99Jul 29, 2026Updated last week
- A Haiku Vector Icon Format library for Haskell☆13Jan 29, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 11 months ago
- A library for composable and effectful production, transformation and consumption of streams of data in Idris☆37Jan 19, 2018Updated 8 years ago
- A GraphQL document and schema language based on S-expressions in Clojure & ClojureScript☆11Apr 25, 2020Updated 6 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆11Dec 11, 2020Updated 5 years ago
- A Monochrome Theme Inspired By 🧑🔬☆17Nov 9, 2023Updated 2 years ago
- A template for writing Zellij plugins in Rust☆19Jan 16, 2023Updated 3 years ago
- A hackage-overlay with patched packages for mobile use.☆17Jan 8, 2019Updated 7 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago
- High-end Cryptographic Library☆44Nov 22, 2019Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rescue ramdisk for Pinephone written on Go☆10Apr 21, 2022Updated 4 years ago
- Vim mode for Idris 2☆79Aug 31, 2022Updated 3 years ago
- Reactive memoization for Emacs Lisp.☆11Feb 17, 2022Updated 4 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated last year
- Twitter API wrapper for Rust☆16Jul 25, 2019Updated 7 years ago
- A terminal panel for Obsidian☆14Feb 9, 2023Updated 3 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 7 months ago
- A readline and libedit replacement that supports UTF-8, syntax highlighting, hints and Windows and is BSD licensed.☆13Jul 7, 2026Updated last month
- Implementation of Dhall in Dhall☆12Jul 21, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Conway's Game of Life using a memoized Store comonad☆11Nov 20, 2017Updated 8 years ago
- A reverse literate programming tool.☆16Jun 26, 2024Updated 2 years ago
- A Haskell module for PortMidi audio library.☆14Jul 13, 2026Updated 3 weeks ago
- A WebAssembly based playground for Janet a la play.golang.org☆15Dec 1, 2025Updated 8 months ago
- ☆17Jan 4, 2022Updated 4 years ago
- John Backus' Functional Programming Systems☆17Mar 22, 2026Updated 4 months ago
- A dynamic, stack-based concatenative toy programming language.☆14Mar 12, 2022Updated 4 years ago