edwinb/WS-idr 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

edwinb/WS-idr

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/edwinb/WS-idr)

Close

edwinb / WS-idrView on GitHubMore

• External links
• Readme badge

Yes, it is what you think it is

☆33Jan 20, 2016Updated 10 years ago

Alternatives and similar repositories for WS-idr

Users that are interested in WS-idr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆40May 1, 2018Updated 8 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• reynir / Verified

  View on GitHub
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18May 14, 2015Updated 11 years ago
• SimonJF / IdrisNet2

  View on GitHub
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Sep 27, 2016Updated 10 years ago
• mankyKitty / idris-webgl

  View on GitHub
  Experimentation with Idris and WebGL via JavaScript FFI
  ☆10Apr 10, 2014Updated 12 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• idris-hackers / eff-tutorial

  View on GitHub
  An old tutorial for using `Effects` in Idris.
  ☆23Sep 10, 2015Updated 11 years ago
• edwinb / Eff-new

  View on GitHub
  New version of Effects library with dependent states
  ☆13Jan 14, 2014Updated 12 years ago
• idris-hackers / idris-posix

  View on GitHub
  System POSIX bindings for Idris.
  ☆35Jan 5, 2019Updated 7 years ago
• ziman / bibdris

  View on GitHub
  BibTeX database management in Idris
  ☆18May 13, 2014Updated 12 years ago
• MaxOw / Idris-WebGL

  View on GitHub
  WebGL bindings for Idris.
  ☆14Aug 27, 2014Updated 12 years ago
• jfdm / idris-xml

  View on GitHub
  A simple XML module for Idris.
  ☆12May 22, 2020Updated 6 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆16Nov 29, 2014Updated 11 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆21Nov 12, 2018Updated 7 years ago
• KesterTong / idris2048

  View on GitHub
  2048 in Idris
  ☆124Nov 28, 2017Updated 8 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• andyarvanitis / IdrisObjCExperiment

  View on GitHub
  ☆18Feb 24, 2014Updated 12 years ago
• crypto-agda / crypto-agda

  View on GitHub
  Cryptographic Constructions in the Type Theory of Agda
  ☆51Aug 8, 2015Updated 11 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 8 years ago
• kolmodin / spdy

  View on GitHub
  Implementation of the SPDY Protocol in Haskell
  ☆15Mar 26, 2013Updated 13 years ago
• ziman / idris-py

  View on GitHub
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Oct 23, 2017Updated 9 years ago
• idris-hackers / idris-cph-exercises

  View on GitHub
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Sep 10, 2015Updated 11 years ago
• idris-hackers / iQuery

  View on GitHub
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆39Jan 15, 2018Updated 8 years ago
• jespercockx / reflection-tutorial

  View on GitHub
  ☆17Oct 16, 2018Updated 8 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 8 years ago
• AI Agents on 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.
• sellout / Idris-CPDT

  View on GitHub
  A translation of Certified Programming with Dependent Types to Idris.
  ☆13May 2, 2014Updated 12 years ago
• timjb / quantities

  View on GitHub
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆164Jan 28, 2019Updated 7 years ago
• ziman / itt-idris

  View on GitHub
  ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2
  ☆25Dec 5, 2024Updated last year
• stedolan / idris-malfunction

  View on GitHub
  Experimental Malfunction backend for Idris
  ☆80Jun 20, 2018Updated 8 years ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆81Jul 28, 2017Updated 9 years ago
• jwiegley / simple-conduit

  View on GitHub
  ☆24Jan 23, 2017Updated 9 years ago
• idris-hackers / idris-demos

  View on GitHub
  Collection of Idris tests and demonstration programs
  ☆195Apr 23, 2018Updated 8 years ago
• thsutton / cha

  View on GitHub
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22May 13, 2016Updated 10 years ago
• david-christiansen / idris-interaction.rkt

  View on GitHub
  A Racket library for interacting with Idris over the IDE protocol
  ☆30Nov 10, 2017Updated 8 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• idris-hackers / idris-crypto

  View on GitHub
  Implementation of cryptographic primitives using Idris
  ☆121May 5, 2018Updated 8 years ago
• bamboo / idris-cil

  View on GitHub
  A Common Intermediate Language backend for Idris 1
  ☆133Oct 29, 2018Updated 8 years ago
• ziman / lightyear

  View on GitHub
  Parser combinators for Idris
  ☆243Apr 11, 2019Updated 7 years ago
• CHTT-s18 / lecture-notes

  View on GitHub
  ☆28Jun 18, 2020Updated 6 years ago
• idris-hackers / idris-java

  View on GitHub
  Java Code Generator for Idris
  ☆72Feb 17, 2016Updated 10 years ago
• edwinb / Protocols

  View on GitHub
  A DSL for describing and implementing communication protocols
  ☆83Dec 19, 2014Updated 11 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago