Popular repositories Loading

1. mini-aes mini-aes Public

   Implementation of the mini advanced encryption standard algorithm

   C++

2. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

3. plfa.github.io plfa.github.io Public

   Forked from plfa/plfa.github.io

   An introduction to programming language theory in Agda

   Agda

4. led-audio-waveform-visualization led-audio-waveform-visualization Public

   Python

5. scholar scholar Public

   Forked from elixir-nx/scholar

   Traditional machine learning on top of Nx

   Elixir

6. livebook livebook Public

   Forked from livebook-dev/livebook

   Automate code & data workflows with interactive Elixir notebooks

   Elixir