-
Rijksuniversiteit Groningen
- Groningen, NL
- mseri.me
- https://orcid.org/0000-0002-8563-5894
- @mseri@mathstodon.xyz
- https://bsky.app/profile/mseri.me
- @marcelloseri
Stars
- All languages
- APL
- Ada
- Agda
- AppleScript
- Assembly
- Awk
- BASIC
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Cython
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Dune
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Forth
- Fortran
- Frege
- Futhark
- GDScript
- GLSL
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Less
- LiveScript
- Lua
- M4
- MATLAB
- Makefile
- Markdown
- Mathematica
- Mojo
- Monkey C
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- Objective-J
- PHP
- POV-Ray SDL
- Pascal
- Perl
- Pony
- PowerShell
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- Raku
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Sass
- Scala
- Scheme
- Shell
- Singularity
- Smarty
- SourcePawn
- Standard ML
- Starlark
- Svelte
- Swift
- TLA
- TSQL
- Tcl
- TeX
- Toit
- Tree-sitter Query
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Visual Basic
- WebAssembly
- Wolfram Language
- Zig
- hoon
Twenty LuaLaTeX and MetaPost (fiziko) examples of the old scientific-paper aesthetic: engraved plates, star charts, computed log tables, knots, telescopes
MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook
Repository for bachelor thesis about formalizing the quasi weierstrass form
Iterated Function Systems fractals with OCaml.
Source code for the Microsoft Comic Chat IRC client
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
Automatically determines minimum dependency versions for an opam package.
AirPods liberated from Apple's ecosystem.
Kon is a minimal coding agent (and also a highly opinionated one)
secure multiplexed execution paths for agents - zero trust, zero setup, zero latency.
Nemobot: A lightweight Minecraft AI agent powered by local LLM (Nemotron 9B + vLLM)
High-performance C++ tensor library with NumPy/PyTorch-like API
Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize
Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.
A fast, helpful, and open-source document parser
A simple Markdown viewer for reading .md files
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
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…
Desktop app to manage markdown knowledge bases
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered