silkvine Goto Github PK

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

clash-prelude

CLaSH prelude library containing datatypes and functions for circuit design

cpp-member-accessor

cppast

Library to parse and work with the C++ AST

cppcheck

static analysis of C/C++ code

cppzmq

Header-only C++ binding for libzmq

doxygen

Official doxygen git repository

doxygraph

Automatically exported from code.google.com/p/doxygraph

enquirer

Command Line Utility for Stylish Interactive Prompts

ghidra

Ghidra is a software reverse engineering (SRE) framework

grok-1

Grok open release

libzmq

ZeroMQ core engine in C++, implements ZMTP/3.1

mandelbulber2

Official repository for Mandelbulber v2

mojo

The Mojo Programming Language

muforth

A simple, indirect-threaded Forth, written in C; for target compiling; runs on Linux, BSD, OSX, and Cygwin

plantuml

Generate UML diagram from textual description

prost

PROST! a Protocol Buffers implementation for the Rust Language

qdrant

Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

reduceron

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

reva

Reva Forth (public-domain x86 Forth)

rr

Record and Replay Framework

rustup.rs

The Rust toolchain installer

scryer-prolog

A modern Prolog implementation written mostly in Rust.