vindaloo-thesis / idris-seView external linksLinks
Idris to Serpent back end for Ethereum smart contracts
☆31Sep 14, 2017Updated 8 years ago
Alternatives and similar repositories for idris-se
Users that are interested in idris-se are comparing it to the libraries listed below
Sorting:
- Code samples inspiring language design☆23Feb 24, 2016Updated 9 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- authenticated data structures, generically☆54Oct 22, 2016Updated 9 years ago
- Deserialize PostgreSQL rows to Haskell records by matching column names and record field names☆13Feb 19, 2018Updated 7 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- ☆14Sep 24, 2017Updated 8 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 8 years ago
- Generate and apply diffs between JSON documents.☆39Oct 5, 2022Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18May 15, 2019Updated 6 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Jan 5, 2026Updated last month
- Standalone Ethereum Virtual Machine☆52Jan 12, 2022Updated 4 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Nov 22, 2018Updated 7 years ago
- (DEPRECATED) Active work at dimitri-xyz/coinbase-pro-exchange☆36Oct 3, 2018Updated 7 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 9 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Dijkstra's shortest path algorithm implemented at type level with Haskell☆20Dec 11, 2017Updated 8 years ago
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆134Oct 29, 2018Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆81Jun 25, 2015Updated 10 years ago
- Relational algebra☆25Jan 1, 2017Updated 9 years ago
- Easy bidirectional serialization in Haskell☆49Dec 12, 2018Updated 7 years ago
- Chess Engine written in Haskell☆15Jul 6, 2018Updated 7 years ago