A vim mode for Haskell
☆31Sep 4, 2014Updated 12 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 14 years ago
- Type-safe, printf-style formatting for PureScript☆17May 15, 2022Updated 4 years ago
- ☆21Oct 3, 2020Updated 6 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆15Dec 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 12 years ago
- Auto reloading PureScript compiler☆28Oct 15, 2018Updated 8 years ago
- Neovim API for Haskell plugins as well as the plugin provider☆268Jul 27, 2026Updated 2 months ago
- Dark-background Vim Color Scheme with Dynamic Brightness Control (GUI-only)☆32Apr 5, 2020Updated 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.
- Access JS webstorage (local & session) in a typesafe and convenient way☆29Oct 6, 2017Updated 9 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 4 months ago
- Pure lazy functional programming on the Java Platform☆37May 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated 7 months ago
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- 🎷 Jazzy build tool for sophisticated front-end development.☆18Sep 15, 2026Updated last month
- A fast, simple, and elegant Neovim plugin manager written in Lua!☆11Aug 27, 2025Updated last year
- Scala 3 Decompiler☆11May 17, 2021Updated 5 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆13May 18, 2017Updated 9 years ago
- Provides type classes for datetime values. Works both on JVM & ScalaJS.☆40Aug 4, 2025Updated last year
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 10 years ago
- Generative property testing for Jasmine☆11Dec 20, 2016Updated 9 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.
- 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
- Jupyter Kernel Protocol for rust☆14May 5, 2026Updated 5 months ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated 2 years ago
- TypeScript TypeScriptToLua Language Service plugin☆16Nov 10, 2022Updated 3 years ago
- Source code accompanying a blog entry on UHC's Javascript backend☆15Oct 26, 2010Updated 15 years ago