Pinned Repositories
ArduinoBurner
AtomVM
Tiny Erlang VM
buck2-nix
Do not taunt happy fun ball
buildroot_flake
Nix flake for building buildroot projects
calyx
Intermediate Language (IL) for Hardware Accelerator Generators
clash-compiler
Haskell to VHDL/Verilog/SystemVerilog compiler
dask
Parallel computing with task scheduling
dotfiles
My Dotifles
jenkinsPlugins2nix
juliaShell
mayl's Repositories
mayl/buildroot_flake
Nix flake for building buildroot projects
mayl/jenkinsPlugins2nix
mayl/juliaShell
mayl/buck2-nix
Do not taunt happy fun ball
mayl/calyx
Intermediate Language (IL) for Hardware Accelerator Generators
mayl/electronic-leadscrew
Lathe electronic leadscrew controller
mayl/generatorFlakes
mayl/filament
Fearless hardware design
mayl/FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
mayl/Julia2Nix.jl
The Nix interface to Julia Ecosystem [maintainer=@GTrunSec]
mayl/kicadDevshell
mayl/LibEBC
C++ Library and Tool for Extracting Embedded Bitcode
mayl/MaixFlake
A nixos flake for working with the Maix series of K210 boards
mayl/MaixPy_scripts
micropython scripts for MaixPy
mayl/meson
The Meson Build System
mayl/mull
Practical mutation testing tool for C and C++
mayl/mull_experiments
mayl/nervesNixShell
mayl/nix-beam-flakes
Nix-based BEAM toolchain management
mayl/nixEsxiFormat
mayl/nixos-generators
Collection of image builders [maintainer=@Lassulus]
mayl/nixpkgs
Nix Packages collection
mayl/nixTronics
Nix Packages for esotatic electronics software
mayl/ops
ops - build and run nanos unikernels
mayl/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
mayl/probe-rs-debugger-flake
mayl/pydev
An opinionated environment for developing Python packages.
mayl/ti_c2000_nix
nix package for TI's C2000 compilers
mayl/vim-nix
Vim configuration files for Nix http://nixos.org/nix
mayl/xcircuitLib