idris-hackers / idris-cph-exercises
Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
☆23Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-cph-exercises
- Erlang to Scheme compiler☆36Updated 12 years ago
- ☆23Updated 6 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- An opinionated OTP framework wrapper☆26Updated 5 months ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Haskell subset compiled to the Beam machine.☆41Updated 10 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- Idris backend targeting Elixir (Work in progress)☆18Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A tool to automatically convert Hex packages to the Nix Expression format☆33Updated 4 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 5 years ago
- an implementation of a microKanren(-like language) in miniKanren☆25Updated 10 years ago
- Supervised Session Actors☆22Updated 8 years ago
- ☆16Updated 6 years ago
- Erlang flavored by Some ML☆36Updated 12 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- FFI-based byte buffers for Idris☆11Updated 5 years ago
- Parsec-style parsing for Erlang☆32Updated 13 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆48Updated 8 years ago
- ☆20Updated 9 years ago
- Erlang port of the Shen programming language☆26Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago