A vim mode for Haskell
☆31Sep 4, 2014Updated 11 years ago
Alternatives and similar repositories for hasksyn
Users that are interested in hasksyn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 4 years ago
- ☆21Oct 3, 2020Updated 5 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- syntax file for skk dictionary☆16Jan 10, 2016Updated 10 years ago
- Vim plugin for typescript code complete☆18Jan 24, 2020Updated 6 years ago
- vim2hs :: Vim -> Haskell☆337Apr 29, 2018Updated 8 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- cumino is the Vim's way to prepare Haskell recipies.☆21Jun 9, 2013Updated 13 years ago
- Procord is a portable OCaml library to delegate tasks to other processes.☆27Sep 2, 2014Updated 11 years ago
- Auto reloading PureScript compiler☆28Oct 15, 2018Updated 7 years ago
- Neovim API for Haskell plugins as well as the plugin provider☆273Jun 27, 2026Updated last month
- Dark-background Vim Color Scheme with Dynamic Brightness Control (GUI-only)☆32Apr 5, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Oct 6, 2017Updated 8 years ago
- Simple and short implementation of a Snake game. Any pull requests which make it shorter or cleaner would be greatly appreciated : ).☆41Jun 3, 2026Updated last month
- Pure lazy functional programming on the Java Platform☆36May 2, 2016Updated 10 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.☆15May 5, 2019Updated 7 years ago
- Conceal operator for haskell☆70Feb 7, 2019Updated 7 years ago
- The Notes☆12Jan 10, 2018Updated 8 years ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- A completion plugin for Haskell, using ghc-mod☆354Feb 22, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- Generative property testing for Jasmine☆11Dec 20, 2016Updated 9 years ago
- 🎷 Jazzy build tool for sophisticated front-end development.☆18Feb 11, 2021Updated 5 years ago
- Dhall helpers for github actions☆54Nov 8, 2023Updated 2 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- A fast, simple, and elegant Neovim plugin manager written in Lua!☆11Aug 27, 2025Updated 11 months ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Aug 4, 2025Updated 11 months ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- date and time library for common lisp☆16Mar 26, 2016Updated 10 years ago
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 9 years ago
- runtime type checking and documentation☆14Jan 4, 2023Updated 3 years ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 5 years ago
- A native PureScript virtual DOM implementation.☆50Apr 23, 2017Updated 9 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- Jupyter Kernel Protocol for rust☆14May 5, 2026Updated 2 months ago