Alternatives and similar repositories for idringen

Users that are interested in idringen are comparing it to the libraries listed below

• david-christiansen / derive-all-the-instances

  View on GitHub
  Work on type class deriving with elaboration reflection
  ☆32Sep 9, 2018Updated 7 years ago
• swr1bm86 / vscode-idris

  View on GitHub
  Idris for Visual Studio Code
  ☆107May 13, 2022Updated 3 years ago
• purescript-deprecated / purescript-channels

  View on GitHub
  Event-driven bidirectional channels
  ☆14Feb 17, 2016Updated 9 years ago
• lambda-11235 / FarRP

  View on GitHub
  An arrowized FRP library for Idris with static safety guarantees.
  ☆16Jun 6, 2018Updated 7 years ago
• vmchale / recursion_schemes

  View on GitHub
  Recursion schemes for Idris
  ☆64Aug 23, 2018Updated 7 years ago
• tatsuya6502 / elixir_rust_interop_demo

  View on GitHub
  Demonstrate calling Rust functions from Elixir using Erlang NIF interface
  ☆16Jan 18, 2016Updated 10 years ago
• brakmic / purescript-pouchdb

  View on GitHub
  PouchDB Bindings for PureScript
  ☆24Oct 9, 2018Updated 7 years ago
• abid-mujtaba / haskell-cas

  View on GitHub
  A Computer Algebra System written in and for Haskell
  ☆26Jul 10, 2016Updated 9 years ago
• Gabriella439 / Haskell-Server-Generic-Library

  View on GitHub
  Auto-generate a server for your datatype
  ☆30Sep 4, 2022Updated 3 years ago
• zudov / purescript-websocket-simple

  View on GitHub
  Simple Bindings to Websocket API for Purescript
  ☆34Feb 9, 2021Updated 5 years ago
• puffnfresh / iridium

  View on GitHub
  xmonad with the X11 abstracted and configured with Idris
  ☆209May 31, 2019Updated 6 years ago
• ziman / lightyear

  View on GitHub
  Parser combinators for Idris
  ☆244Apr 11, 2019Updated 6 years ago
• SouthbankSoftware / provendb-verify

  View on GitHub
  ProvenDB Open Source Verification CLI
  ☆13Mar 16, 2023Updated 2 years ago
• biswanathdutta / CODO

  View on GitHub
  CODO is an ontology for the semantic representation and annotation of COVID-19 data in a machine-readable form for tracking history of th…
  ☆10Apr 19, 2022Updated 3 years ago
• runtimeverification / ethdebug.py

  View on GitHub
  ethdebug.py is a debugger-side implementation of the EthDebug format
  ☆15Sep 24, 2025Updated 4 months ago
• idris-hackers / idris-crypto

  View on GitHub
  Implementation of cryptographic primitives using Idris
  ☆123May 5, 2018Updated 7 years ago
• fieldstrength / probability

  View on GitHub
  Probabilistic computation in Idris
  ☆33Jul 2, 2019Updated 6 years ago
• SPY / idris-codegen-wasm

  View on GitHub
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Jun 26, 2018Updated 7 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• jhorikawa / compute.rhino3d_handson

  View on GitHub
  Repo for hands-on held on 19/04/28.
  ☆10May 1, 2019Updated 6 years ago
• nodeset-org / hyperdrive

  View on GitHub
  Hyperdrive is an all-in-one node management system for NodeSet operators.
  ☆13Updated this week
• ExpressiveIntelligence / PromWeek

  View on GitHub
  ☆12Apr 4, 2019Updated 6 years ago
• jqntn / NoGraph

  View on GitHub
  Blocks graphs in blueprints to keep a consistent codebase for C++ projects
  ☆10Jul 28, 2023Updated 2 years ago
• orrsella / sbt-sound

  View on GitHub
  An sbt plugin for adding sounds to task completions
  ☆28May 5, 2018Updated 7 years ago
• agnos-ai / reactive-sparql

  View on GitHub
  A Reactive Sparql Client written in Scala and Akka
  ☆13Sep 18, 2023Updated 2 years ago
• bitpay / address-translator

  View on GitHub
  Simple BCH addresses translator
  ☆13Mar 8, 2023Updated 2 years ago
• kofno / BasicLambda

  View on GitHub
  An example of writing an AWS Lambda function in Purescript
  ☆36Oct 28, 2017Updated 8 years ago
• roesti77 / Sublime-Open-Shading-Language

  View on GitHub
  Sublime Open Shading Language
  ☆16Feb 23, 2019Updated 6 years ago
• benhamner / BluebookForBulldozers

  View on GitHub
  ☆18Mar 6, 2013Updated 12 years ago
• vlasenkov / Denga

  View on GitHub
  Haskell trading framework.
  ☆11Apr 3, 2016Updated 9 years ago
• idris-hackers / IdrisScript

  View on GitHub
  FFI Bindings to interact with the unsafe world of JavaScript
  ☆94Oct 7, 2018Updated 7 years ago
• sbp / idris-bi

  View on GitHub
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆37Dec 31, 2020Updated 5 years ago
• edwinb / EpiVM

  View on GitHub
  Epic - a Supercombinator Compiler
  ☆64Jun 12, 2015Updated 10 years ago
• purescript / purescript-validation

  View on GitHub
  Applicative-style validation
  ☆45Apr 27, 2022Updated 3 years ago
• soupi / gathering

  View on GitHub
  A self hosted website for announcing group events
  ☆38May 1, 2021Updated 4 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆59Sep 27, 2016Updated 9 years ago
• nandokferrari / woovi-front

  View on GitHub
  ☆12Dec 8, 2022Updated 3 years ago
• conal / total-map

  View on GitHub
  Finitely represented /total/ maps
  ☆17Nov 23, 2019Updated 6 years ago
• notawhalevfx / hdk_dso

  View on GitHub
  Some My Houdini HDK DSO Plugins.
  ☆10Apr 18, 2022Updated 3 years ago