Alternatives and similar repositories for Haskell2Julia

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

• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 5 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• cdupont / Timeloop
  ☆41Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆41Updated 4 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 2 months ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 months ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆41Updated 7 months ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• DataHaskell / docs
  - Documentation site
  ☆38Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• zsedem / haskell-cpython
  ☆29Updated 5 months ago
• cocreature / nanovg-hs
  NanoVG Haskell bindings
  ☆22Updated 2 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated 3 weeks ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆56Updated 3 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆37Updated 2 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated this week
• morgenthum / lambda-heights
  A fast paced arcade game
  ☆52Updated 5 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 8 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• pkamenarsky / knit
  Ties the knot on data structures that reference each other by unique keys
  ☆47Updated 11 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 5 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month