Alternatives and similar repositories for adamantium

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

• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 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
• brendanzab / color-rs

  View on GitHub
  A library that provides types and conversions for working with various color formats.
  ☆46Nov 22, 2024Updated last year
• kirasystems / clj-browserchannel

  View on GitHub
  Cross browser, bi-directional communication between ClojureScript and Clojure with BrowserChannel
  ☆56Aug 13, 2015Updated 10 years ago
• brunjlar / stack2cabal

  View on GitHub
  creating a cabal new-build configuration from a stack configuration
  ☆12May 8, 2018Updated 7 years ago
• libp2p / js-libp2p-rendezvous

  View on GitHub
  A javascript implementation of the rendezvous protocol for libp2p
  ☆13May 1, 2025Updated 9 months ago
• linuxfood / rustsqlite

  View on GitHub
  SQLite3 Bindings for Rust.
  ☆76Apr 6, 2015Updated 10 years ago
• michaelsproul / rust_sequence_trie

  View on GitHub
  Ergonomic trie data structure
  ☆27Oct 30, 2018Updated 7 years ago
• markostanimirovic / re-action

  View on GitHub
  ClojureScript Framework for Building Single Page Applications
  ☆13Sep 3, 2019Updated 6 years ago
• arazabishov / pvec-rs

  View on GitHub
  A persistent, RRB-Tree based vector for Rust
  ☆18Updated this week
• pnathan / generic-comparability

  View on GitHub
  implementation of cdr-8
  ☆17Jan 17, 2018Updated 8 years ago
• kmcallister / pngbox

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

  View on GitHub
  ☆12Jan 31, 2016Updated 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
• fitzgen / oxischeme

  View on GitHub
  A Scheme implementation, in Rust.
  ☆134Sep 1, 2015Updated 10 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
• mischief / rust-uefi

  View on GitHub
  ☆15Jul 2, 2017Updated 8 years ago
• mmontone / cl-pluggable-types

  View on GitHub
  Pluggable types for Common Lisp
  ☆19Dec 9, 2023Updated 2 years ago
• thebusby / into-edn

  View on GitHub
  A simple library to convert an Object/Document/etc into Clojure EDN data
  ☆23Aug 25, 2018Updated 7 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• deepakjois / blaze-svg

  View on GitHub
  SVG Combinators for Haskell
  ☆23Jun 28, 2017Updated 8 years ago
• vigetlabs / an-isomorphic-chart

  View on GitHub
  Charts are for everyone. A pending blog post.
  ☆32Nov 18, 2014Updated 11 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
• immutant / lein-immutant

  View on GitHub
  A Leiningen plugin for deploying/testing Immutant apps with WildFly
  ☆41Nov 12, 2015Updated 10 years ago
• emk / rust-streaming

  View on GitHub
  EXPERIMENTAL: Various hacks for zero-allocation stream parsing in Rust.
  ☆59Dec 15, 2014Updated 11 years ago
• michaelwoerister / hamt-rs

  View on GitHub
  A Persistent Map Implementation based on Hash Array Mapped Tries
  ☆175Jan 4, 2024Updated 2 years ago
• graydon / z3-rs

  View on GitHub
  ☆24Aug 30, 2018Updated 7 years ago
• joinr / icfpc2019

  View on GitHub
  ☆17Jul 25, 2019Updated 6 years ago
• michaelballantyne / meta-minikanren

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

  View on GitHub
  Example single-workspace project with a rust webserver (warp) serving a rust frontend (yew) as wasm included in the webserver binary
  ☆20Jan 2, 2025Updated last year
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 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
• mneumann / rust-redis

  View on GitHub
  A Rust client/server library for Redis
  ☆53Mar 17, 2014Updated 11 years ago
• funcool / promissum

  View on GitHub
  DEPRECATED: use funcool/promesa
  ☆18Nov 29, 2015Updated 10 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
• jvasile / freedombox-privoxy

  View on GitHub
  FreedomBox version of Privoxy
  ☆55May 9, 2015Updated 10 years ago
• jtoman / claims

  View on GitHub
  A LaTeX package for proof carrying papers
  ☆24Dec 8, 2016Updated 9 years ago
• ianbarber / clj-gapi

  View on GitHub
  Clojure Google Web Service API Client
  ☆27Oct 20, 2015Updated 10 years ago