Loading contributions...
Top Repositories
Packages for Pi - extensions, skills, prompt templates, and themes.
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Unofficial XLD mirror. X Lossless Decoder(XLD) is a tool for Mac OS X that is able to decode/convert/play various 'lossless' audio files.
An implementation of language server protocol for the Jasmin programming language.
Open Source Routing Machine - C++ backend
Repositories
24Packages for Pi - extensions, skills, prompt templates, and themes.
AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Unofficial XLD mirror. X Lossless Decoder(XLD) is a tool for Mac OS X that is able to decode/convert/play various 'lossless' audio files.
No description provided.
An implementation of language server protocol for the Jasmin programming language.
Open Source Routing Machine - C++ backend
No description provided.
No description provided.
A Rust wrapper for mldsa implementation in jasmin
Proof of concept project aiming at using concurrency to render fractal images with Qt and Qml
No description provided.
Visual Studio Code extension for Coq
Collection of evals for Inspect AI
Inspect: A framework for large language model evaluations
Language for high-assurance and high-speed cryptography
G+Smo (pronounced gismo or gizmo) is a C++ library for isogeometric analysis (IGA). Geometry plus simulation modules aims at the seamless integration of Computer-aided Design (CAD) and Finite Element Analysis (FEA).
Library containing code to manipulate mmCIF and PDB files
Jasmin implementations of ML-DSA
Crypto library
Rust Post-Quantum cryptography
Software platform implementing and extending the standards of the Semantic Web.
Main public package repository for opam, the source package manager of OCaml.
The science behind The Virtual Brain
The public CGAL repository, see the README below