LouisJenkinsCS / LLVM-JVM

Related projects ⓘ

Alternatives and complementary repositories for LLVM-JVM

• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 3 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 4 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 7 years ago
• abailly / raptr
  Raft distributed consensus over HTTP
  ☆7Updated 4 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• pepeiborra / gc-benchmarks
  Benchmarks using the non-moving incremental GHC garbage collector
  ☆22Updated 5 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• tibbe / event
  A Haskell event notification library
  ☆46Updated 14 years ago
• barrucadu / minifu
  A tutorial on writing a concurrency testing tool in Haskell
  ☆13Updated 7 years ago
• themattchan / haskell-tiger
  Modern compiler implementation in ML, in Haskell
  ☆16Updated 6 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 11 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 5 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 5 months ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 5 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆30Updated 6 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆10Updated 4 years ago
• haskell-haskey / haskey-btree
  B+-tree implementation in Haskell
  ☆27Updated 5 years ago
• RyanGlScott / echo
  A cross-platform, cross-console way to handle echoing terminal input
  ☆10Updated 3 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 6 months ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆11Updated 2 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated last year
• dalaing / type-systems
  ☆23Updated 7 years ago
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated 2 years ago
• robrix / abstract-interpretation
  Experiments in abstracting definitional interpreters
  ☆16Updated 7 years ago
• egison / backtracking
  Backtracking monad in Haskell
  ☆14Updated 2 years ago
• knupfer / chronos
  Benchmarking tool with focus on comparing results.
  ☆16Updated 2 months ago