sparcl
by kztk-m
Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
AI summary
Reversible compiler
A language and runtime environment for partially invertible computation, focusing on linear typing and reversible programming.
- stars
- 10
- forks
- 1
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Backprop algorithm library
A Haskell library providing automatic heterogeneous back-propagation for differentiable programming and deep learning applications.
Shader compiler
A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
Haskell compiler
A Haskell compiler for a Lisp/Scheme-inspired language with an LLVM backend
C compiler
A Haskell library that allows inline C and Objective-C code in Haskell programs
ddkang/zkml349
Proof generator
A framework for constructing proofs of ML model execution in ZK-SNARKs
Debugging toolkit
Tools and techniques for reversing and debugging Android applications on controlled systems or emulators.
rhysd/gocaml749
Compiler
An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Compiler
A compiler that translates a functional programming language to x86-64 machine code from scratch.
Haskell compiler
A minimal implementation of a Haskell compiler
yubrot/llrl156
Compiler project
An experimental compiler for a Lisp-like programming language with a focus on self-hosting and compilation to LLVM backend.
ML ZK demo
A demo project that integrates machine learning and zero-knowledge proof verification in a web application using TypeScript.
Haskell compiler
A Haskell compiler with a runtime environment implementing Combinatory Logic
yrnkrn/zapcc1.2K
compiler
A caching C++ compiler based on clang to speed up compilation
