Skip to content
View mseri's full-sized avatar
👻
👻

Organizations

@ocaml @owlbarn

Block or report mseri

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Twenty LuaLaTeX and MetaPost (fiziko) examples of the old scientific-paper aesthetic: engraved plates, star charts, computed log tables, knots, telescopes

PowerShell 419 23 Updated Sep 9, 2026

MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook

TeX 859 42 Updated Oct 8, 2024

embedded web rendering engine for OCaml

C++ 11 3 Updated Sep 9, 2026

Markdown Viewer

C 291 25 Updated May 15, 2026

Repository for bachelor thesis about formalizing the quasi weierstrass form

Lean 1 Updated Jun 29, 2026

Capability types and rules for OCaml

OCaml 10 Updated Sep 3, 2026

Iterated Function Systems fractals with OCaml.

OCaml 41 1 Updated Aug 23, 2026
C# 3 Updated Sep 17, 2026
Jupyter Notebook 11 4 Updated May 28, 2025

Source code for the Microsoft Comic Chat IRC client

C++ 1,021 144 Updated Jul 22, 2026

The diary of Tom Riddle for the reMarkable Paper Pro — write with your pen, the page drinks your ink and answers in a flowing hand

Rust 1,890 177 Updated Jul 12, 2026

Automatically determines minimum dependency versions for an opam package.

OCaml 3 Updated Jul 30, 2026

AirPods liberated from Apple's ecosystem.

Kotlin 30,004 1,754 Updated Sep 23, 2026

Execution flow via formulae in OCaml

OCaml 6 Updated Aug 26, 2026

Kon is a minimal coding agent (and also a highly opinionated one)

Python 353 38 Updated Sep 21, 2026

secure multiplexed execution paths for agents - zero trust, zero setup, zero latency.

Rust 4,198 285 Updated Sep 23, 2026

Nemobot: A lightweight Minecraft AI agent powered by local LLM (Nemotron 9B + vLLM)

JavaScript 5 Updated Mar 4, 2026

The OCaml runtime ported from C to Rust

OCaml 14 Updated Jun 6, 2026

High-performance C++ tensor library with NumPy/PyTorch-like API

C++ 114 3 Updated May 29, 2026

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

Python 7,512 617 Updated Aug 6, 2026

Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.

HTML 658 9 Updated Jun 17, 2024

A fast, helpful, and open-source document parser

Rust 12,532 855 Updated Sep 22, 2026

A simple Markdown viewer for reading .md files

Swift 2,373 120 Updated Sep 23, 2026

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

TypeScript 1,695 145 Updated Sep 23, 2026

Open-source cross-modal and multimodal prompt injection test suite. 250,000+ attack payloads across text, image, document, and audio modalities. Research-backed by OWASP LLM Top 10, CrossInject (AC…

Python 75 11 Updated Jul 22, 2026

Export ALL your data from Apple Photos

Swift 301 9 Updated Jul 9, 2026

Desktop app to manage markdown knowledge bases

TypeScript 19,872 1,383 Updated Sep 23, 2026

Audit your opam switch for vulnerable packages

OCaml 11 1 Updated Aug 13, 2026

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Rust 15,874 674 Updated Sep 23, 2026

Financial models for computers

OCaml 18 1 Updated May 29, 2026
Next