f--t's repositories
DataStructures.jl
Julia implementation of Data structures
Language:JuliaMIT000
education_tools
Tools for education related platforms
Language:AGS ScriptNOASSERTION000
gr-iio
IIO blocks for GNU Radio
Language:C++GPL-3.0000
Idris-dev
A Dependently Typed Functional Programming Language
Language:HaskellNOASSERTION000
julia
The Julia Language: A fresh approach to technical computing.
Language:JuliaNOASSERTION000
musnix
Real-time audio in NixOS
Language:NixBSD-3-Clause000
shajra-keyboards
Nix build/flash tool for a Keyboardio Model 01 or ZSA Technology Labs Ergodox EZ or Moonlander keyboard
Language:CGPL-3.0000