sparcl
Reversible compiler
A language and runtime environment for partially invertible computation, focusing on linear typing and reversible programming.
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
10 stars
2 watching
1 forks
Language: Haskell
last commit: almost 2 years ago domain-specific-languagefunctional-programminghaskelllinear-typesreversible-computationreversible-programming-language
Related projects:
| Repository | Description | Stars |
|---|---|---|
 mstksg/backprop | A Haskell library providing automatic heterogeneous back-propagation for differentiable programming and deep learning applications. | 181 |
 swtwsk/vinci-lang | A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language | 15 |
 talw/crisp-compiler | A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend | 99 |
 argumentcomputer/lurk-beta | A statically scoped Lisp-like language for proving computational claims using zk-SNARKs with an elliptic curve backend. | 434 |
 mchakravarty/language-c-inline | A Haskell library that allows inline C and Objective-C code in Haskell programs | 147 |
 ddkang/zkml | A framework for constructing proofs of ML model execution in ZK-SNARKs | 345 |
 strazzere/android-lkms | Provides tools and modules to aid in reversing and debugging Android applications on controlled systems/emulators. | 204 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 748 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 radian-software/kalyn | A compiler that translates a functional programming language to x86-64 machine code from scratch. | 157 |
 bydriv/mhc | A minimal implementation of a Haskell compiler | 63 |
 yubrot/llrl | An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend. | 156 |
 0xzkml/zk-mnist | A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript. | 119 |
 siraben/mini-haskell | A Haskell compiler with a runtime environment implementing Combinatory Logic | 72 |
 yrnkrn/zapcc | A caching C++ compiler based on clang to speed up compilation | 1,250 |