TextMate support for Haskell
☆53Apr 22, 2021Updated 4 years ago
Alternatives and similar repositories for haskell.tmbundle
Users that are interested in haskell.tmbundle are comparing it to the libraries listed below
Sorting:
- The world's worst RPN calculator, powered by XPC and Haskell☆17Sep 29, 2011Updated 14 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- TextMate support for YAML☆18Mar 25, 2024Updated last year
- TextMate support for Diff☆16Jan 14, 2017Updated 9 years ago
- Simple Go Calculator☆34Apr 21, 2013Updated 12 years ago
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- Sandboxed build environment for opam projects☆13Mar 2, 2016Updated 9 years ago
- MacOS dotfiles with an easy installation script☆21Jun 16, 2019Updated 6 years ago
- The sparkling monad library☆13Jun 17, 2016Updated 9 years ago
- Web based opetopic editor☆36Oct 21, 2024Updated last year
- ☆24Apr 10, 2025Updated 10 months ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 6 months ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- Python binding for Pashua☆23Mar 30, 2018Updated 7 years ago
- TextMate support for HTML☆76Aug 19, 2023Updated 2 years ago
- ☆31Sep 9, 2014Updated 11 years ago
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- Work on modular implicits☆25Oct 23, 2018Updated 7 years ago
- TextMate support for CSS☆55Jan 3, 2022Updated 4 years ago
- A Swift API Client for Bitbucket☆26Sep 19, 2018Updated 7 years ago
- Delimited continuations in byte-code and native OCaml☆27Jan 10, 2021Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Jul 28, 2017Updated 8 years ago
- CotEditor script for Dash☆32Sep 18, 2022Updated 3 years ago
- Fast websocket library for OCaml, based on angstrom/httpaf☆31Oct 1, 2023Updated 2 years ago
- AppleScript binding for Pashua☆29Jun 24, 2020Updated 5 years ago
- Print OCaml values based on their runtime representation☆30Jun 7, 2022Updated 3 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- An Emacs clone written in OCaml☆33Updated this week
- Highlight text quickly☆32Mar 4, 2018Updated 7 years ago
- An Sublime Text IDE for Haskell based on stack-ide☆27Dec 7, 2015Updated 10 years ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Jul 31, 2022Updated 3 years ago
- TextMate support for Markdown☆129Jul 14, 2020Updated 5 years ago
- TextMate support for Lua☆59Feb 15, 2020Updated 6 years ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 3 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- DEPRECATED, use https://github.com/mozilla/mod_authnz_persona instead. An Apache module that implements BrowserID authentication☆19Dec 12, 2013Updated 12 years ago