gian / urtutorial
A Tutorial for Ur/Web
☆30Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for urtutorial
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- SML On Stilts☆37Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 8 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Homotopy Type Theory proofs in Idris☆21Updated 5 years ago
- ☆41Updated 10 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 2 weeks ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- OCaml back end for Idris☆22Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆218Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆57Updated 8 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- ☆20Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- N2O in Haskell☆29Updated 8 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago