tdjordjevski

milvus

A cloud-native vector database, storage for next generation AI applications

vite-plugin-fable

A Vite plugin for Fable

https-github.com-danistefanovic-build-your-own-x

pimacs

A partial, experimental implementation of an Elisp interpreter written in Go

stateright

A model checker for implementing distributed systems.

Oxpecker

ASP.NET Core based F# framework

bflat

C# as you know it but with Go-inspired tooling (small, selfcontained, and native executables)

jepsen

A framework for distributed systems verification, with fault injection

maelstrom

A workbench for writing toy implementations of distributed systems.

FsHttp

A lightweight F# HTTP library by @SchlenkR and @dawedawe

ui

Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.

austral

Systems language with linear types and capability-based security.

creduce

C-Reduce, a C and C++ program reducer

alive2

Automatic verification of LLVM optimizations

zellij

A terminal workspace with batteries included

UltrawideIndex

A growing collection of widescreen and wider solutions from Rose of the WSGF.

pissandshittium

Pissandshittium Source

orgaggregate

Aggregates tables in Org mode

copilot.el

An unofficial Copilot plugin for Emacs.

concepts-artboards

Ruby script to convert Concepts SVG files into multiple PDF pages

milton

An infinite-canvas paint program

Lorien

Infinite canvas drawing/whiteboarding app for Windows, Linux and macOS. Made with Godot.

FriendsDontLetFriends

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

monaspace

An innovative superfamily of fonts for code

ollama

Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.

formalising-mathematics-2023

repository for material for Jan-Mar 2023 course on formalising mathematics

QuestPDF

QuestPDF is a modern open-source .NET library for PDF document generation. Offering comprehensive layout engine powered by concise and discoverable C# Fluent API. Easily generate PDF reports, invoices, exports, etc.

geist-font

does-uBO-bypass-yt

Are YouTube ads blocked by Ublock? This website will tell you so!

cursorless

Don't let the cursor slow you down