Anillc's starred repositories

Easy-GPU-PV

A Project dedicated to making GPU Partitioning on Windows easier!

Language:PowerShellStargazers:4027Issues:0Issues:0

nixrs

Nix binding for Rust

Language:RustStargazers:2Issues:0Issues:0

psocket-run

Trace the socket syscall and do something.

Language:RustLicense:MITStargazers:3Issues:0Issues:0

glibc-debian-10

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://github.com/sdwru/glibc-debian-10/releases contains an OVZ6 template and the compiled DEB packages.

Language:CStargazers:7Issues:0Issues:0

Arend

The Arend Proof Assistant

Language:JavaLicense:Apache-2.0Stargazers:689Issues:0Issues:0

touying

Touying is a powerful package for creating presentation slides in Typst.

Language:TypstLicense:MITStargazers:448Issues:0Issues:0

container2wasm

Container to WASM converter

Language:C++License:Apache-2.0Stargazers:1906Issues:0Issues:0

barrier

Open-source KVM software

Language:CLicense:NOASSERTIONStargazers:26662Issues:0Issues:0

NixThePlanet

Run macOS, Windows and more via a single Nix command, or simple nixosModules

Language:NixLicense:MITStargazers:509Issues:0Issues:0
Language:RustLicense:NOASSERTIONStargazers:5338Issues:0Issues:0
Language:KotlinLicense:AGPL-3.0Stargazers:8Issues:0Issues:0

webvm

Virtual Machine for the Web

Language:HTMLLicense:Apache-2.0Stargazers:2816Issues:0Issues:0
Language:C++License:NOASSERTIONStargazers:264Issues:0Issues:0

data-link-protocols

数据链路层协议在线模拟器

Language:TypeScriptStargazers:6Issues:0Issues:0

fpu-wrappers

Wrappers for open source FPU hardware implementations.

Language:VerilogLicense:MITStargazers:30Issues:0Issues:0

Yuri

A riscv emulator.

Language:RustStargazers:15Issues:0Issues:0
Language:CLicense:MITStargazers:14Issues:0Issues:0

MultiArchUefiPkg

Multi-Architecture UEFI Environment Driver

Language:CLicense:LGPL-2.1Stargazers:48Issues:0Issues:0

blit-fonts

A family of small, fast, and simple bitmap fonts in single-file C headers

Language:CLicense:ISCStargazers:60Issues:0Issues:0

nih-plug

Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself

Language:RustLicense:ISCStargazers:1534Issues:0Issues:0

virtio-drivers

VirtIO guest drivers in Rust.

Language:RustLicense:MITStargazers:190Issues:0Issues:0
Language:NixStargazers:6Issues:0Issues:0

encapcalc

An HTML/JS encapsulation overhead calculator

Language:JavaScriptStargazers:61Issues:0Issues:0

magic-nix-cache-action

Save 30-50%+ of CI time without any effort or cost. Use Magic Nix Cache, a totally free and zero-configuration binary cache for Nix on GitHub Actions.

Language:TypeScriptLicense:MITStargazers:344Issues:0Issues:0
Language:PHPLicense:NOASSERTIONStargazers:135Issues:0Issues:0

normalization-bench

Benchmarking various normalization algorithms for the lambda calculus

Language:OCamlStargazers:43Issues:0Issues:0

history

History of type theory (Chinese).

Language:TeXStargazers:305Issues:0Issues:0

effect

An ecosystem of tools to build robust applications in TypeScript

Language:TypeScriptLicense:MITStargazers:6296Issues:0Issues:0

rust-embed

Rust Macro which loads files into the rust binary at compile time during release and loads the file from the fs during dev.

Language:RustLicense:MITStargazers:1571Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3164Issues:0Issues:0