graninas / Haskell-Algorithms

Related projects ⓘ

Alternatives and complementary repositories for Haskell-Algorithms

• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆22Updated 8 years ago
• ucsc-proglang / sage
  The dependently & gradually typed Sage programming language
  ☆9Updated 10 years ago
• sanjoy / echoes
  ☆21Updated 7 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 11 years ago
• avsm / EpiVM
  Epic - a Supercombinator Compiler
  ☆11Updated 14 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• ucsd-progsys / 230-wi19-web
  Public course materials for CSE 230 (Winter 2019)
  ☆27Updated 3 years ago
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆24Updated 2 years ago
• icicle-lang / zebra-ambiata
  Read and write the zebra file format used for blizzard snapshots.
  ☆11Updated 5 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated last year
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 4 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• fare / moll
  My Own Linear Lisp
  ☆36Updated 6 years ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆28Updated last month
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆29Updated 10 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• ericniebler / fpxx
  sandbox for my c++ functional programming experiments
  ☆34Updated 11 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last year
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• dterei / GhciOnline
  Online version of GHCi that supports safely executing untrusted code.
  ☆27Updated 8 years ago
• valderman / shellmate
  Write type-safe shell scripts in Haskell
  ☆14Updated 4 years ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated last month