ziman/idris-bytes 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

ziman/idris-bytes

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/ziman/idris-bytes)

Close

ziman / idris-bytesView on GitHubMore

• External links
• Readme badge

FFI-based byte buffers for Idris

☆10Jun 21, 2019Updated 6 years ago

Alternatives and similar repositories for idris-bytes

Users that are interested in idris-bytes are comparing it to the libraries listed below

• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• jfdm / idris-config

  View on GitHub
  Parsers for various configuration files written in Idris.
  ☆19Nov 8, 2017Updated 8 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• fieldstrength / probability

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

  View on GitHub
  System POSIX bindings for Idris.
  ☆36Jan 5, 2019Updated 7 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 9 years ago
• uwap / idris-http

  View on GitHub
  An HTTP library for idris
  ☆39Dec 26, 2018Updated 7 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 10 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• PetriNets / petrinets.github.io

  View on GitHub
  Petrinet.org interactive playground website
  ☆16Oct 17, 2019Updated 6 years ago
• eraserhd / Idris-json

  View on GitHub
  Formally verified JSON parser
  ☆15Sep 27, 2017Updated 8 years ago
• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 10 years ago
• kb1dds / simplicialHomology

  View on GitHub
  A simple Python 2.7 module for computing local and relative simplicial homology
  ☆14Nov 21, 2023Updated 2 years ago
• jfdm / idris-containers

  View on GitHub
  Various data structures for use in the Idris Language.
  ☆94May 22, 2020Updated 5 years ago
• danilkolikov / categories

  View on GitHub
  Category Theory
  ☆19Oct 24, 2018Updated 7 years ago
• SkySkimmer / HoTTClasses

  View on GitHub
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆17Dec 9, 2020Updated 5 years ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆82Jul 28, 2017Updated 8 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• dc-mak / NumLin

  View on GitHub
  NumLin: Linear Types for Linear Algebra
  ☆23Jan 21, 2023Updated 3 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• janestreet / async_parallel

  View on GitHub
  Distributed computing library
  ☆34Aug 7, 2018Updated 7 years ago
• kowainik / idris-patricia

  View on GitHub
  🌋 Idris implementation of patricia tree
  ☆23Nov 6, 2020Updated 5 years ago
• mirage / qubes-mirage-skeleton

  View on GitHub
  An example Mirage unikernel that runs as a Qubes AppVM
  ☆23Nov 25, 2020Updated 5 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• janestreet / incr_map

  View on GitHub
  Helpers for incremental operations on map like data structures.
  ☆27Jan 15, 2026Updated last month
• uwplse / cheerios

  View on GitHub
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆24Oct 22, 2023Updated 2 years ago
• jtoman / claims

  View on GitHub
  A LaTeX package for proof carrying papers
  ☆24Dec 8, 2016Updated 9 years ago
• FranckS / RingIdris

  View on GitHub
  Ring solver for Idris
  ☆20Nov 12, 2018Updated 7 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• janestreet / ocaml_plugin

  View on GitHub
  (Archived) Automatically build and dynlink ocaml source files
  ☆59Oct 16, 2023Updated 2 years ago
• GaloisInc / jvm-parser

  View on GitHub
  A Haskell parser for JVM bytecode files
  ☆39Jan 12, 2024Updated 2 years ago
• idris-hackers / idris-lens

  View on GitHub
  ☆23Sep 30, 2016Updated 9 years ago
• TyOverby / astar

  View on GitHub
  DEPRICATED
  ☆32May 21, 2018Updated 7 years ago