vindaloo-thesis/idris-se external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

vindaloo-thesis/idris-se

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/vindaloo-thesis/idris-se)

Close

vindaloo-thesis / idris-seView on GitHubMore

• External links
• Readme badge

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. We may earn a commission when you buy through links labeled 'Ad' on this page.

• vindaloo-thesis / examples

  View on GitHub
  Code samples inspiring language design
  ☆23Feb 24, 2016Updated 10 years ago
• gallais / typing-with-leftovers

  View on GitHub
  Self-contained repository for the eponymous paper
  ☆30Jan 11, 2019Updated 7 years ago
• vincenthz / professor

  View on GitHub
  haskell prof file CLI/Curses tool
  ☆32May 2, 2017Updated 8 years ago
• corajr / heroku-buildpack-nix-proot

  View on GitHub
  A Heroku buildpack using Nix.
  ☆13Mar 28, 2017Updated 9 years ago
• ziman / idris-py

  View on GitHub
  Python backend for Idris (generates Python source, not bytecode).
  ☆125Oct 23, 2017Updated 8 years ago
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• Neuromancer42 / ministgwasm

  View on GitHub
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Jun 13, 2017Updated 8 years ago
• jonascarpay / convoluted

  View on GitHub
  Dependently typed convolutional neural networks
  ☆35May 10, 2017Updated 8 years ago
• amiller / lambda-auth

  View on GitHub
  authenticated data structures, generically
  ☆55Oct 22, 2016Updated 9 years ago
• robrix / abstract-interpretation

  View on GitHub
  Experiments in abstracting definitional interpreters
  ☆16Oct 13, 2017Updated 8 years ago
• nmattia / haskell-hot-swap

  View on GitHub
  Hot swapping compiled code while keeping a websocket connection open
  ☆26May 24, 2016Updated 9 years ago
• wereHamster / nauva

  View on GitHub
  ☆14Sep 24, 2017Updated 8 years ago
• tel / hotep

  View on GitHub
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Jan 19, 2017Updated 9 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆134Oct 29, 2018Updated 7 years ago
• NordVPN Threat Protection Pro™ • Ad
  Take your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
• quchen / stackalone

  View on GitHub
  Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed
  ☆10Jun 8, 2017Updated 8 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• sheyll / newtype-zoo

  View on GitHub
  A Zoo of Haskell Newtype Wrappers
  ☆15Nov 30, 2020Updated 5 years ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 11 years ago
• adbrowne / dynamodb-eventstore

  View on GitHub
  EventStore implementation on top of AWS DynamoDB
  ☆10Feb 26, 2017Updated 9 years ago
• benjaminselfridge / propcheck

  View on GitHub
  Proof checker for propositional logic
  ☆16Jul 7, 2017Updated 8 years ago
• cocreature / postgresql-named

  View on GitHub
  Deserialize PostgreSQL rows to Haskell records by matching column names and record field names
  ☆13Feb 19, 2018Updated 8 years ago
• thsutton / aeson-diff

  View on GitHub
  Generate and apply diffs between JSON documents.
  ☆39Oct 5, 2022Updated 3 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• kadena-io / masala

  View on GitHub
  Standalone Ethereum Virtual Machine
  ☆52Jan 12, 2022Updated 4 years ago
• sorear / smm

  View on GitHub
  sorear's Metamath system engine
  ☆13May 5, 2016Updated 9 years ago
• alcestes / mpstk

  View on GitHub
  Multiparty Session Types toolKit
  ☆15May 7, 2025Updated 10 months ago
• ElvishJerricco / nix-purescriptPackages

  View on GitHub
  ☆19Mar 23, 2017Updated 9 years ago
• Gabriella439 / Purescript-to-Python

  View on GitHub
  A compiler from Purescript to Python
  ☆42Apr 16, 2015Updated 10 years ago
• gergoerdi / hm-compo

  View on GitHub
  Compositional type checking for a Hindley-Milner type system
  ☆11Mar 28, 2017Updated 9 years ago
• ocharles / hsfmt

  View on GitHub
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Oct 7, 2018Updated 7 years ago
• pedagand / typechecker-evolution

  View on GitHub
  The Evolution of a Typechecker
  ☆54Jan 20, 2019Updated 7 years ago
• sdiehl / double-ratchet

  View on GitHub
  Double ratchet algorithm for E2E encryption
  ☆61Nov 22, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• bkirwi / ethereum-haskell

  View on GitHub
  An independent reimplementation of Ethereum in Haskell
  ☆81Jun 25, 2015Updated 10 years ago
• hopper-lang / hopper-v0

  View on GitHub
  a sound modern language for computation and transactional resource logic
  ☆101Sep 23, 2016Updated 9 years ago
• int-index / kalium

  View on GitHub
  Translate Pascal into Haskell
  ☆51Jul 24, 2019Updated 6 years ago
• def- / ghc-datasize

  View on GitHub
  ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
  ☆17Aug 22, 2024Updated last year
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• boldradius / total-map

  View on GitHub
  ☆18Aug 15, 2015Updated 10 years ago