Amœba is a distributed network.
☆18May 16, 2014Updated 11 years ago
Alternatives and similar repositories for amoeba
Users that are interested in amoeba are comparing it to the libraries listed below
Sorting:
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21May 27, 2020Updated 5 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆30May 27, 2014Updated 11 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- A Lua/Python Bytecode Disassembler written in C, without external dependencies☆13Mar 28, 2017Updated 8 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 9 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- cgen generates C interfaces from C++ headers☆22Nov 11, 2016Updated 9 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- ☆31Sep 9, 2014Updated 11 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Nov 28, 2024Updated last year
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Pixel art for games☆139Dec 16, 2014Updated 11 years ago
- An authenticated data structure based on a red-black tree.☆54Jul 27, 2015Updated 10 years ago
- A Plugin to use Idris with Sublime☆27Dec 30, 2020Updated 5 years ago
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆111Feb 20, 2019Updated 7 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- A faster date and time library based on time☆47Jan 16, 2026Updated last month
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 10 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- A book about large-scale design in Haskell☆75Sep 23, 2014Updated 11 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Jun 6, 2025Updated 8 months ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- Experiments on the construction of functions☆29Nov 30, 2015Updated 10 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- A prototypical dependently typed languages with sized types and variances☆115Jan 12, 2026Updated last month
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- A blaze-html style ReactJS binding for Haskell using GHCJS☆108Jul 30, 2016Updated 9 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- Incremental 3D Delaunay Tetrahedralization☆14Jul 21, 2024Updated last year
- ☆10May 30, 2017Updated 8 years ago