Coq formalizations and proofs of (data) structures and algorithms.

Cross-platform Rust rewrite of the GNU coreutils

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Collection of awesome LLM apps with AI Agents and RAG using OpenAI, Anthropic, Gemini and opensource models.

dotenv for shells with support for POSIX-compliant and multiple .env file syntax

A formal verification of Linear Temporal Logic in Coq

Formalization of Typhon protocol

Recode of book "Dessins géométriques et artistiques avec votre micro-ordinateur" (1985) with p5js

Every awesome list on every topic, including awesome lists of awesome lists, updated daily.

Formalization of Typhon protocol

TagSpaces is an offline, open source, document manager with tagging support

Facts about CSW's Involvement in Bitcoin

🌙 LunarVim is an IDE layer for Neovim. Completely free and community driven.

Neovim config for the lazy

Collections of awesome neovim plugins.

😎 Awesome lists about all kinds of interesting topics

📚 A Neovim config designed from scratch to be understandable

All Algorithms implemented in Rust

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

A list of disposable/temporary email address domains

A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25

A language server for Standard ML in Rust.

An auto-formatter for the Standard ML language

My random competitive programming solutions (and other stuff)

This project contains various supporting libraries for lean to reason about protocols.

General-purpose editor/IDE with high expansibility in Common Lisp

Powerful and extensible proxy server with anti-censorship functionality for Android

Typhon reference implementation in Standard ML

Reference implementation of Anoma

A Theme for GitHub Pages