Alternatives and similar repositories for ChemistrySet:

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

• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 5 years ago
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated last year
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 14 years ago
• strymonas / staged-streams.scala
  ☆57Updated 7 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆62Updated 10 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 3 years ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 4 years ago
• suffuse / suffuse
  Something ungodly for FUSE
  ☆67Updated 9 years ago
• begeric / FastParsers
  Fast Parser Combinators
  ☆27Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 7 years ago
• yogeshsajanikar / hspark
  A port of Apache Sparks to Haskell using distributed process
  ☆33Updated 8 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• haskell-distributed / cloud-haskell
  This is an umbrella development repository for Cloud Haskell
  ☆72Updated 6 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆104Updated 4 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆95Updated 9 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆102Updated 11 months ago
• swr1bm86 / Ntha
  The Ntha Programming Language
  ☆93Updated 8 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆220Updated 6 years ago
• TiarkRompf / scala-escape
  A compiler plug-in to control object lifetimes in Scala
  ☆63Updated 7 years ago
• exclipy / pdata
  Purely functional, persistent and efficient vector and hash-map data structures for Haskell
  ☆46Updated 7 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago