NiLang.jl

NiLang is a reversible eDSL that can run backwards. The motation is to support source to source AD.

Check our paper!

Welcome for discussion in Julia slack, #autodiff and #reversible-commputing channel.

Tutorials

• My first NiLang program
• How to port NiLang to Zygote

Also see blog posts

• How to write a program differentiably
• Simulate a reversible Turing machine in 50 lines of code

Documentation

Pluto notebook

Examples

• Computing Fibonacci Numbers
• Bessel function
• Sparse matrices
• Logarithmic number system
• Unitary matrix operations without allocation
• A simple QR decomposition
• NICE network
• RealNVP network
• Box-Muller method to Generate normal distribution

Manual

• NiLang Grammar
• Instruction Reference
• How to extend
• The shared write problem on GPU
• API Manual