Alternatives and similar repositories for ChemistrySet

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

• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆72Updated 9 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆55Updated 6 years ago
• ocaml-multicore / reagents
  Reagents for multicore OCaml
  ☆126Updated 2 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆175Updated 4 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆52Updated 13 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 9 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 9 years ago
• idris-hackers / atom-language-idris
  A Idris Mode for Atom.io
  ☆102Updated last year
• xclerc / ocamljava
  ☆169Updated 9 years ago
• ermine-language / ermine
  The Ermine Programming Language - Join us on irc.freenode.net #ermine
  ☆223Updated 7 years ago
• strymonas / staged-streams.scala
  ☆57Updated 8 years ago
• mfp / extprot
  extprot: extensible binary protocols for cross-language communication and long-term serialization
  ☆212Updated 2 years ago
• sjrd / ozma
  Extending Scala with Oz Concurrency
  ☆81Updated 4 years ago
• timjb / quantities
  Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  ☆163Updated 6 years ago
• djspiewak / gll-combinators
  A parser combinator library based on the GLL algorithm
  ☆309Updated last year
• yawaramin / scala-modules
  Experimental implementations of ML-style modules in Scala
  ☆145Updated 10 years ago
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 6 years ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 9 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆121Updated last year
• strymonas / staged-streams.ocaml
  ☆60Updated 6 years ago
• scala / scala-continuations
  the Scala delimited continuations plugin and library
  ☆90Updated 5 years ago
• icicle-lang / icicle-ambiata
  A streaming query language.
  ☆57Updated 5 years ago
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆161Updated 9 years ago
• djspiewak / sparse
  Generalized, incremental parser combinators for scalaz-stream
  ☆62Updated 10 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 10 years ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 5 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆51Updated 10 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆66Updated 3 years ago
• lambdaconf / lambdaconf-2016-usa
  Repository for LambdaConf 2016 USA.
  ☆66Updated 5 years ago
• odipar / spread
  SPREAD
  ☆18Updated 4 years ago