ruuda/transducers 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

ruuda/transducers

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/ruuda/transducers)

Close

ruuda / transducersView on GitHubMore

• External links
• Readme badge

A transducer library for Rust

☆10May 22, 2016Updated 9 years ago

Alternatives and similar repositories for transducers

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

• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 11 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 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
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• hmwill / vervolg

  View on GitHub
  SQL front-end in Rust
  ☆14May 11, 2021Updated 4 years ago
• cuviper / rust-git-fs

  View on GitHub
  A FUSE implementation in Rust for Git objects
  ☆14Aug 25, 2016Updated 9 years ago
• metasoarous / datspec

  View on GitHub
  Protocols and specs for the Datsys architecture - the shape of things.
  ☆18Oct 5, 2017Updated 8 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• mesosphere-backup / telemetry-net

  View on GitHub
  ☆14Aug 23, 2019Updated 6 years ago
• spacejam / historian

  View on GitHub
  ☆22Mar 16, 2019Updated 7 years ago
• meh / rorschach

  View on GitHub
  And I'll look down and whisper "GNO."
  ☆59Aug 11, 2016Updated 9 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 11 years ago
• GGist / pendulum-rs

  View on GitHub
  Timer Wheels With Various Runtimes In Rust
  ☆15Nov 29, 2017Updated 8 years ago
• michaelballantyne / meta-minikanren

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

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• celaus / rust-cratedb

  View on GitHub
  CrateDB driver for Rust
  ☆14Aug 16, 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
• servo / rust-png

  View on GitHub
  Rust bindings for libpng - UNMAINTAINED - DO NOT USE
  ☆28Oct 14, 2016Updated 9 years ago
• chris-morgan / phantom-enum

  View on GitHub
  A simple macro library for creating phantom enums. Just simple sugar.
  ☆14Jun 8, 2016Updated 9 years ago
• spacejam / crack

  View on GitHub
  building blocks and testing tools for reliable systems
  ☆29May 7, 2018Updated 7 years ago
• DanielKeep / rust-scan-rules

  View on GitHub
  ☆23Nov 7, 2016Updated 9 years ago
• ergl / crdt-ml

  View on GitHub
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Sep 15, 2016Updated 9 years ago
• cmsd2 / recon

  View on GitHub
  Asynchronous messaging on tokio-rs
  ☆22May 31, 2019Updated 6 years ago
• kmcallister / urpc

  View on GitHub
  Tiny RPC framework for Rust
  ☆33Sep 16, 2015Updated 10 years ago
• dylanede / embed_js

  View on GitHub
  Minimalist lightweight inline JavaScript for Rust applications targeting WebAssembly via the wasm32-unknown-unknown target.
  ☆20Dec 21, 2017Updated 8 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 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 / async_parallel

  View on GitHub
  Distributed computing library
  ☆34Aug 7, 2018Updated 7 years ago
• lifthrasiir / hexf

  View on GitHub
  Hexadecimal float support for Rust
  ☆42Sep 2, 2025Updated 6 months ago
• mattico / spiralizer

  View on GitHub
  Helps create a swirly timelapse gif
  ☆16May 12, 2021Updated 4 years ago
• kinghajj / shawshank

  View on GitHub
  ☆14Jul 19, 2017Updated 8 years ago
• osrg / namazu-swarm

  View on GitHub
  CI Job Parallelizer built on Docker and Kubernetes
  ☆18Jun 7, 2017Updated 8 years ago
• spacejam / model

  View on GitHub
  model testing sugar for testing interactions on structures over time
  ☆26Jul 24, 2019Updated 6 years ago
• GaloisInc / jvm-parser

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

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