-
-
-
analysis_rug Public
Course material for https://ocasys.rug.nl/current/catalog/course/WBMA012-05
-
BET Public
Project for "Machine-Checked Mathematics" at the Lorentz Center
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
doi2bib Public
Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)
-
-
zunzuncito Public
zunzuncito — Gemma-4 26B-A4B colibrì engine for a small-RAM machine
-
granite-speech-5.cpp Public
C and optionally metal engine for granite speech 5.0 STT
C UpdatedSep 3, 2026 -
qwen-asr Public
Forked from antirez/qwen-asrC inference for Qwen3-ASR 0.6b and 1.7b transcriptions models
C MIT License UpdatedSep 3, 2026 -
-
kokoro-reader Public
Rudimentary kokoro script to read out text
Python MIT License UpdatedAug 27, 2026 -
msca-dn Public
Forked from pgarner/msca-dnLaTeX class and template for MSC DN (used to be ITN) grant applications, updated for the 2024 version
TeX UpdatedJul 6, 2026 -
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedJun 29, 2026 -
coq-waterproof Public
Forked from impermeable/rocq-waterproofThe Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to…
Rocq Prover GNU Lesser General Public License v3.0 UpdatedJun 26, 2026 -
lstar-rocq Public
Forked from CharlesAverill/lstar-rocqThe L* algorithm in Rocq
-
pde2019 Public archive
Demo notebooks for the PDE course
-
-
Simulation code for Vermeeren, Bravetti, Seri: Contact Variational Integrators
-
contact-integrators Public
Notebooks and implementations for Bravetti, Seri, Vermeeren, Zadra "Numerical integration in celestial mechanics: a case for contact geometry"
-
PhotosExport Public
Forked from rcarmo/PhotosExportExport ALL your data from Apple Photos
Swift MIT License UpdatedApr 27, 2026 -
AoM Public
Lecture notes of the course Analysis On Manifolds
-
opam-repo-ci Public
Forked from ocurrent/opam-repo-ciAn OCurrent pipeline for testing submissions to opam-repository
OCaml Apache License 2.0 UpdatedMar 13, 2026 -
snf-mcp Public
A Model Context Protocol server for DuckDuckGo search and web content fetching (using ocaml-mcp by avsm)
-
hammech20 Public
Lecture Notes for the Hamiltonian Mechanics course
-
llama.cpp Public
Forked from ggml-org/llama.cppLLM inference in C/C++
C++ MIT License UpdatedJan 30, 2026 -
maptoposter Public
Forked from originalankur/maptoposterTransform your favorite cities into beautiful, minimalist designs. MapToPoster lets you create and export visually striking map posters with code.
Python MIT License UpdatedJan 17, 2026 -
waterproof-analysis Public
Optional practice for the Analysis course
GNU Lesser General Public License v2.1 UpdatedNov 26, 2025 -
xapitodict Public
Import raw xml xapi database dumps into python dictionaries or json
-
oatmeal Public
Forked from otherJL0/oatmealTerminal UI to chat with large language models (LLM) using different model backends, and integrations with your favourite editors!
Rust MIT License UpdatedNov 6, 2025
{{ message }}