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 14 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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☆268Jul 27, 2026Updated 3 weeks 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 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 2 months 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
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated 5 months 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.
- Compositional type checking for Haskell☆39Apr 14, 2011Updated 15 years ago
- Generative property testing for Jasmine☆11Dec 20, 2016Updated 9 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 last year
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- An extensible dead-man's switch system☆25Jul 31, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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 3 months ago
- TypeScript TypeScriptToLua Language Service plugin☆16Nov 10, 2022Updated 3 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated 2 years ago
- Source code accompanying a blog entry on UHC's Javascript backend☆15Oct 26, 2010Updated 15 years ago