Michele De Pascalis's repositories
midiedlsequencer
Generates EDL timelines from MIDI files
SwiftAutomata
A generic Nondeterministic Finite Automaton implementation in Swift (Standard library only - Foundation free!)
agda-index
Poor man's Agda identifier indexing
Language:RustMPL-2.0000
Language:Rust000
Language:Rust000
Language:Nix000
Language:Agda000
Language:Agda000
doml_parser
A Python library to parse and verify PIACERE DOML IaC specifications
Language:Python000
language-bison-improved
Bison language support in Atom
Language:CoffeeScriptNOASSERTION000
Language:Python000
home-manager
Home Manager config
Language:Nix000
idris2-develop
Idris2 + VSCodium developer environment
Language:Nix000
Language:Agda000
Language:TeX000
neovim
My neovim config, based on NixVim
Language:Nix000
nixos-config
My NixOS config flake
Language:Nix000
Language:Java000
research-public
Public repo for research projects
Language:Rust000
sway-new-workspace
A command to create new Sway workpaces
Language:RustMIT000
swayws
a sway workspace manager which allows easy moving of workspaces to and from outputs
Language:RustMIT000
tosca-parser
Parser for TOSCA Simple Profile in YAML. Mirror of code maintained at opendev.org.
Language:PythonApache-2.0000
ttymidi-nix-flake
ttyMIDI Nix Flake
Language:Nix000