Alternatives and similar repositories for Haskell2Julia

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

• jimcrayne / jhc
  Jhc: Haskell Compiler
  ☆38Updated 9 years ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 6 months ago
• DataHaskell / docs
  - Documentation site
  ☆38Updated 5 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
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 3 years ago
• juspay / medea
  A JSON schema language
  ☆27Updated 3 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated 2 weeks ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 7 months ago
• scmu / aopa
  Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
  ☆83Updated 9 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 4 months ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 months ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 7 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 4 months ago
• sellout / haskerwaul
  Category theory concepts in type classes and instances.
  ☆22Updated 2 months ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 5 years ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• stefan-hoeck / idris2-rhone
  ☆18Updated last year
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 3 months ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Updated 5 years ago
• jmoy / alexhappy
  Examples for the book “Alex and Happy”
  ☆34Updated 10 years ago