dtekcth / mat-chalmersLinks
Lunch menus on and around Chalmers campus, built in Haskell
☆8Updated 2 weeks ago
Alternatives and similar repositories for mat-chalmers
Users that are interested in mat-chalmers are comparing it to the libraries listed below
Sorting:
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- OCaml JSX for ReasonReact☆70Updated 6 years ago
- Erlang code generator for Idris 2☆141Updated last year
- TEA for Bucklescript☆601Updated last year
- Low-level PureScript wrappers for React Native☆60Updated 8 years ago
- Make OCaml/Reason errors prettier☆124Updated 7 years ago
- Reason/BuckleScript bindings for the Most.js reactive toolkit☆41Updated 6 years ago
- Generate nix expressions from opam packages☆93Updated 4 months ago
- A small implementation of higher-order unification☆188Updated 7 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.☆52Updated 6 years ago
- My master thesis about generic programming and ornaments☆16Updated 8 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Icepeak is a fast JSON document store with push notification support.☆131Updated 2 weeks ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Milk 🥛 Stress-free serialization & deserialization for Reason/OCaml☆201Updated 4 years ago
- ☆159Updated 3 years ago
- Do-notation for javascript fantasy land☆64Updated 11 years ago
- Experimental d3 5.x bindings for BuckleScript☆43Updated 4 years ago
- 🧊 Модальний гомотопічний верифікатор математики☆22Updated 3 weeks ago
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- A terse syntactic dialect of Rust à la Haskell☆18Updated 11 months ago
- Test project☆7Updated 2 years ago
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- A simple Purescript JSON library that uses types automatically☆134Updated 2 years ago
- ☆29Updated 8 years ago
- Property Based Testing in Elm☆15Updated 8 years ago
- Pure profunctor lenses☆144Updated 9 months ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- A virtual DOM library with focus on simplicity, modularity, powerful features and performance. Written in TypeScript.☆10Updated 8 years ago