Popular repositories Loading

1. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML

2. tinywav tinywav Public

   Forked from mhroth/tinywav

   A minimal C library for reading and writing (16b-int & 32b-float) WAV audio files.

   C

3. liquid-dsp liquid-dsp Public

   Forked from jgaeddert/liquid-dsp

   digital signal processing library for software-defined radios

   C

4. pancake-vscode-highlight pancake-vscode-highlight Public

   Forked from JunmingZhao42/pancake-vscode-highlight

   VSCode extension providing basic syntax highlighting for the Pancake programming language.