Pinned Repositories
abstract-algorithm
Optimal evaluator of λ-calculus terms.
amethyst
Data-oriented and data-driven game engine written in Rust
amp
A complete text editor for your terminal.
Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
BareMetal-kernel
A very minimal, resource efficient exo-kernel
BareMetal-OS
Build scripts for BareMetal OS and its related utilities
checkers
A sanity checker for global allocations in Rust
clash-compiler
CAES Language for Synchronous Hardware
cpp-member-accessor
muforth
A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin
silkvine's Repositories
silkvine/cpp-member-accessor
silkvine/muforth
A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin
silkvine/abstract-algorithm
Optimal evaluator of λ-calculus terms.
silkvine/amethyst
Data-oriented and data-driven game engine written in Rust
silkvine/amp
A complete text editor for your terminal.
silkvine/Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
silkvine/BareMetal-kernel
A very minimal, resource efficient exo-kernel
silkvine/BareMetal-OS
Build scripts for BareMetal OS and its related utilities
silkvine/checkers
A sanity checker for global allocations in Rust
silkvine/clash-compiler
CAES Language for Synchronous Hardware
silkvine/clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
silkvine/cppast
Library to parse and work with the C++ AST
silkvine/cppcheck
static analysis of C/C++ code
silkvine/cppzmq
Header-only C++ binding for libzmq
silkvine/doxygen
Official doxygen git repository
silkvine/enquirer
Command Line Utility for Stylish Interactive Prompts
silkvine/ghidra
Ghidra is a software reverse engineering (SRE) framework
silkvine/grok-1
Grok open release
silkvine/libzmq
ZeroMQ core engine in C++, implements ZMTP/3.1
silkvine/mandelbulber2
Official repository for Mandelbulber v2
silkvine/mojo
The Mojo Programming Language
silkvine/plantuml
Generate UML diagram from textual description
silkvine/prost
PROST! a Protocol Buffers implementation for the Rust Language
silkvine/qdrant
Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
silkvine/reva
Reva Forth (public-domain x86 Forth)
silkvine/rr
Record and Replay Framework
silkvine/rustup.rs
The Rust toolchain installer
silkvine/scryer-prolog
A modern Prolog implementation written mostly in Rust.
silkvine/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the abstract algorithm perfectly.
silkvine/tmux
tmux source code