Lists (14)
Starred repositories
🧩 Content editing tech stack for the web - BlockSuite is a toolkit for building editors and collaborative applications.
Wireguard, but compatible with mpls, no MTU overhead
Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…
Scriptlets to convert mill ivy dependencies to Nix expression
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
13
Updated Feb 4, 2025
Declarative hardware configuration for NixOS [maintainer=@brianmcgee,@Mic92]
A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education and research.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
A JavaScript library to position floating elements and create interactions for them.
A curated list of awesome AbstractMachine (https://github.com/NJU-ProjectN/abstract-machine) frameworks, software and resources.
Repository to maintain out-of-tree shell.nix files (maintainer=@mic92)
A Project dedicated to making GPU Partitioning on Windows easier!
glibc for Debian v10 including 2.6.32 kernel compatibility as required when using OpenVZ v6. The master and release branches track official source and the custom branches contain the changes. https…
Touying is a powerful package for creating presentation slides in Typst.
debauchee / barrier
Forked from deskflow/deskflowOpen-source KVM software
Run macOS, Windows and more via a single Nix command, or simple nixosModules