sazl

trans rights 🏳️‍⚧️

Pinned Repositories

ASAD
Analyzer of Spectra for Age Determination
Language:Python1 2 41
ats-go
ATS to Go Transpiler
Language:ATS3 1 00
guix-experiments
Guix Experiments
Language:Shell0 1 00
ochip8
OCaml Chip-8
Language:OCaml0 1 00
opengl_base
OpenGL starter with glloadgen and CMake
Language:C0 1 00
SoftwareFoundations
Answers to Software Foundations: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
Language:Coq0 1 00
succession
a tool to trace the succession of leaders in graph form
Language:JavaScript0 1 00
webmidi
Web MIDI Experiments
Language:OCaml0 1 00

sazl's Repositories

sazl/ats-go
ATS to Go Transpiler
Language:ATS3 1 00
sazl/ASAD
Analyzer of Spectra for Age Determination
Language:Python1 2 41
sazl/guix-experiments
Guix Experiments
Language:Shell0 1 00
sazl/ochip8
OCaml Chip-8
Language:OCaml0 1 00
sazl/SoftwareFoundations
Answers to Software Foundations: https://www.cis.upenn.edu/~bcpierce/sf/current/index.html
Language:Coq0 1 00
sazl/succession
a tool to trace the succession of leaders in graph form
Language:JavaScript0 1 00
sazl/webmidi
Web MIDI Experiments
Language:OCaml0 1 00
sazl/ATS-Postiats
ATS2: Unleashing the Potentials of Types and Templates
Language:ATS1 0
sazl/ats-vscode
ATS language support for VS Code
1 0
sazl/ATS-Xanadu
Implementing ATS3 in ATS2
Language:ATS1 0
sazl/blog
Language:HTML
sazl/docker-ats
A docker image for ATS2
Language:Shell1 0
sazl/DX7-Supercollider
My accurate Yamaha DX-7 clone. Programmed in Supercollider.
Language:SuperCollider1 0
sazl/eurorack
Eurorack modules
Language:C++1 0
sazl/exercises-cats
Scala Exercises' lessons for the Cats library
Language:Scala1 0
sazl/hapi
The Simple, Secure Framework Developers Trust
Language:JavaScript1 0
sazl/IntelliJATS
An ATS Plugin for IntelliJ IDEA.
Language:Kotlin
sazl/kubernetes-the-hard-way
Bootstrap Kubernetes the hard way on Google Cloud Platform. No scripts.
1 0
sazl/machinery
Machinery is an asynchronous task queue/job queue based on distributed message passing.
Language:Go1 0
sazl/neural-networks-and-deep-learning
Code samples for my book "Neural Networks and Deep Learning"
Language:Python0 0
sazl/nix
Nix Configs
Language:Nix
sazl/OMicroB
An OCaml generic virtual machine for microcontrollers
Language:OCaml1 0
sazl/OTTO
Sampler, Sequencer, Multi-engine synth and effects - in a box!
Language:C++1 0
sazl/portmidi
OCaml bindings to libportmidi, a cross-platform MIDI library
Language:OCaml0 0
sazl/sazl
1 0
sazl/sc-tx81z
A Supercollider port of Yamaha's TX81Z FM Synth
Language:SuperCollider1 0
sazl/scrapewr
A Python-based scraper for Sam Nabi's blog.
Language:Python1 0
sazl/setup-cygwin
GitHub action to set up Cygwin
0 0
sazl/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language:Java1 0
sazl/volcasample
volca sample SDK - a sample and sequence encoding library for volca sample.
Language:C1 0