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 7 months ago
• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 10 years ago
• eayus / sirdi
  Package manager for Idris
  ☆37Updated 3 years ago
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆82Updated 7 months ago
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• basic-calculus / prologish
  ☆12Updated 5 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated last year
• stefan-hoeck / idris2-sop
  Idris port of Haskell's sop-core library
  ☆36Updated last month
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• TOTBWF / muprl
  A small NuPRL style proof assistant
  ☆31Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆33Updated 5 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 5 months ago
• idris-community / inigo
  Inigo: A Package Manager for Idris2
  ☆62Updated 2 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated last year
• stefan-hoeck / idris2-pack-db
  ☆27Updated this week
• idris-community / katla
  ☆21Updated 4 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated last month
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated last month