Kernel-Dirichlet / Haskell2JuliaLinks
A partial transpiler from Haskell to Julia.
☆16Updated 5 years ago
Alternatives and similar repositories for Haskell2Julia
Users that are interested in Haskell2Julia are comparing it to the libraries listed below
Sorting:
- Jhc: Haskell Compiler☆39Updated 10 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Updated last year
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ☆12Updated 5 years ago
- Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master☆24Updated 5 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- Elaborate and expressive S-Expression library for Haskell☆65Updated last year
- a functional programming language with algebraic effects and handlers☆81Updated 11 months ago
- A verified compiler for a lazy functional language☆37Updated this week
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆60Updated 5 years ago
- A JSON schema language☆28Updated 9 months ago
- Reimplementation of a subset of Cabal☆35Updated 2 weeks ago
- A categorical semantics library in Agda.☆16Updated 6 years ago
- source code for the bondi programming language☆45Updated 6 years ago
- Minimal Haskell Compiler☆63Updated 7 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 5 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago
- The LC3 virtual machine☆24Updated last year
- Package manager for Idris☆37Updated 3 years ago
- First class patterns and pattern matching, using type families☆18Updated 5 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 8 months ago
- Julia embedded in Haskell☆52Updated last year
- Tiny type-checker with dependent types☆78Updated 12 years ago
- A Python backed for Idris 2☆29Updated 2 months ago
- A small NuPRL style proof assistant☆31Updated 7 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 6 years ago