Website for CSE230
☆10Jan 29, 2016Updated 10 years ago
Alternatives and similar repositories for 230-web
Users that are interested in 230-web are comparing it to the libraries listed below
Sorting:
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆20Oct 17, 2018Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- A slack bot that will fetch type signatures via Hoogle☆21May 11, 2016Updated 9 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 7 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Mar 24, 2019Updated 6 years ago
- LaTeX style file to typeset functional languages like Haskell☆26Mar 25, 2013Updated 12 years ago
- A MOBA written using Haskell, Yampa, and SDL☆27May 19, 2015Updated 10 years ago
- Examples for the book “Alex and Happy”☆34May 2, 2015Updated 10 years ago
- My own little "24 Days of Hackage" for 2015☆62Dec 7, 2016Updated 9 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Highly Scalable / Maintainable Architecture developed for iOS using Swift 2☆11May 26, 2016Updated 9 years ago
- Dump GHC's abstract syntax trees☆41Apr 17, 2022Updated 3 years ago
- A game about exponential growth written in Haskell☆31May 11, 2016Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Secure Node.js Configuration Files☆13Jun 16, 2017Updated 8 years ago
- Tax types and computations for Australia☆12Dec 8, 2025Updated 2 months ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- TeX template for ICMV conference (SPIE-like)☆13Nov 8, 2018Updated 7 years ago
- jMolecules integration for IntelliJ based IDEs like IDEA☆10Feb 22, 2024Updated 2 years ago
- Visualization Toolkit for GADGET2 Cosmology Simulations☆14Mar 18, 2016Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Jul 12, 2017Updated 8 years ago
- IPFS wrapper for Haskell☆43Apr 4, 2023Updated 2 years ago
- ☆10May 12, 2022Updated 3 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- ☆10Jun 27, 2019Updated 6 years ago
- Atom syntax highlighting and snippets for the D programming language.☆10Aug 13, 2017Updated 8 years ago
- Convenience functions for working with Strings in Elm.☆10Nov 17, 2016Updated 9 years ago
- Sticky Headers Demo☆13Jan 28, 2019Updated 7 years ago
- https://blog.frankel.ch/chopping-monolith/☆11Mar 20, 2025Updated 11 months ago
- ☆12May 22, 2016Updated 9 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- ☆15Feb 10, 2015Updated 11 years ago
- Control coroutine tasks in some advanced situations with abstracted basic patterns.☆11Aug 30, 2020Updated 5 years ago
- Slicing git repositories.☆22May 21, 2018Updated 7 years ago
- Crawl an Elm project and produce a dependency graph in DOT☆10Dec 29, 2024Updated last year
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 7 months ago