mlinksva

lockss-daemon

Classic LOCKSS System (LOCKSS 1.x)

turbos

A real-time operating system for the Turbo9

turbo9

Turbo9 - Pipelined 6809 Microprocessor IP

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

Vale

Compiler for the Vale programming language - http://vale.dev/

ms-wasm

MS-Wasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Build and reproduce the results from the paper.

langdrive

Train LLMs on private data. Simply make an API request to our training endpoint specifying you data and model. LangDrive will handle the rest. ⚡

web-check

🕵️‍♂️ All-in-one OSINT tool for analysing any website

dialog

RAG LLM Ops App for easy deployment and testing

hackingBuddyGPT

Helping Ethical Hackers use LLMs in 50 Lines of Code or less..

llmware

Unified framework for building enterprise RAG pipelines with small, specialized models

open-webui

User-friendly WebUI for LLMs (Formerly Ollama WebUI)

navigation2

ROS 2 Navigation Framework and System

unsloth

Finetune Llama 3, Mistral, Phi & Gemma LLMs 2-5x faster with 80% less memory

stract

web search done right

Bend

A massively parallel, high-level programming language

labs-ai-framework

Planning Framework used by LC Labs for planning AI experiments towards responsible implementation

plandex

AI driven development in your terminal. Designed for large, real-world tasks.

june

fossfoundation

Directory of non-profit FOSS Foundations, with detailed metadata.

cargo-semver-checks

Scan your Rust crate for semver violations.

inspect_ai

Inspect: A framework for large language model evaluations

verifiable-controllers

This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

verus

Verified Rust for low-level systems code

rust-sel4

Rust support for seL4 userspace

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

vectorscan

A portable fork of the high-performance regular expression matching library

Grace

Grace Version Control System

rust-gems

A collection of rust algorithms and data structures

microkit

Microkit - A simple operating system framework for the seL4 microkernel