nineties / Choco

Related projects ⓘ

Alternatives and complementary repositories for Choco

• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• leanprover / super
  Superposition prover
  ☆16Updated last year
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last week
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• grebenyukaa / cmm-compiler-backend
  Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.
  ☆7Updated 9 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆28Updated last month
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 9 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 8 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 9 years ago
• sanjoy / echoes
  ☆21Updated 7 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 7 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago