A Haskell IDE based on spf-13 and VIM
☆46Sep 7, 2012Updated 13 years ago
Alternatives and similar repositories for Haskim
Users that are interested in Haskim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vim2hs :: Vim -> Haskell☆337Apr 29, 2018Updated 8 years ago
- Google Summer of Code 2012 project, GHCi for the web☆52Aug 20, 2012Updated 13 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- Try Idris☆34Sep 7, 2015Updated 10 years ago
- Happy Haskell programming on Vim, powered by ghc-mod☆430Aug 30, 2018Updated 7 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆26May 9, 2016Updated 10 years ago
- A completion plugin for Haskell, using ghc-mod☆354Feb 22, 2021Updated 5 years ago
- avoid cabal dependency hell by installing all your cabal dependencies at the same time☆36Mar 26, 2015Updated 11 years ago
- Vim plugin for Haskell development☆132May 16, 2019Updated 7 years ago
- Heroku buildpack for Haskell☆76May 13, 2013Updated 13 years ago
- cumino is the Vim's way to prepare Haskell recipies.☆21Jun 9, 2013Updated 13 years ago
- A Haskell web application using acid-state and scotty☆16Apr 14, 2013Updated 13 years ago
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 10 years ago
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple library for Haskell that allows relational programming.☆46Sep 12, 2012Updated 13 years ago
- ☆22Jan 14, 2020Updated 6 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 4 months ago
- A wrapper program around cabal and cabal-install that maintains sandboxed build environments.☆150Jan 22, 2015Updated 11 years ago
- A cross-platform file activity monitor☆71May 17, 2016Updated 10 years ago
- A Java JIT compiler written in Haskell☆74Sep 7, 2013Updated 12 years ago
- Process Monitoring/Management, Like Daemontools☆285Sep 25, 2019Updated 6 years ago
- The Haskell Refactoring Tool☆137Dec 4, 2019Updated 6 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆35May 14, 2017Updated 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.
- A little book on General Relativity and Einstein–Cartan Theory☆15Mar 13, 2014Updated 12 years ago
- Markup (HTML and SVG) and DOM manipulation DSL for the Fay subset of Haskell.☆26May 16, 2014Updated 12 years ago
- A ctags file generator for cabal/stack project dependencies.☆171Jun 20, 2021Updated 5 years ago
- Course materials for Stanford CS240h, "Functional Systems in Haskell"☆650Oct 25, 2011Updated 14 years ago
- Virtual Haskell Environment builder☆121Dec 16, 2013Updated 12 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- An unpacked copy of the haskellmode vimball. Ping me if it needs updating.☆134Jan 4, 2018Updated 8 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- Extract the compiler arguments from a cabal file.☆18Sep 22, 2025Updated 10 months 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.
- Deprecated because of☆78Nov 26, 2015Updated 10 years ago
- Haskell implementation of a Ringbuffer inspired by the "Disruptor Pattern"☆27Mar 19, 2015Updated 11 years ago
- Repository for Snap for Beginners, Including GH Pages.☆19May 8, 2015Updated 11 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 10 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- Daemons in Haskell made fun and easy☆26Sep 29, 2023Updated 2 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago