Collaborative Programmable Music

Language Server for Idris2

LLM-powered typed-holes

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Calculating the ideal Sex and the City polycule

Generically derive traversals, lenses, and prisms.

Uniform interface to reified data type information via Template Haskell

This is a read-only mirror for https://git.recolic.net/root/gnome-keyring-yubikey-unlock

Welcome to a calmer internet

A mastodon web client

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

Local Ollama and OpenAI-like GPT's assistance for maximum privacy and offline access

get pdf link from overleaf read key, showcase pdf without code

Simple.css is a CSS template that allows you to make a good looking website really quickly.

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Apple's SFMono font nerd-font patched and ligaturized

MAC T2 / ESXI / RPI5 nix flakes using Hyprland, QuickShell for Mac users, Based on End-4's LATEST dots. (WIP 95%))

Papers about Distributed System

Bringing the Helix editor to the evil side

Make your cursors dance with Helix-like modal editing in VS Code.

List of Data Science Cheatsheets to rule the world

Price tracking program and website for Trader Joe's, updated daily.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

💎 Soothing pastel theme for Obsidian

GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

PDF++: the most Obsidian-native PDF annotation & viewing tool ever. Comes with optional Vim keybindings.

An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

Everything you need to move your project faster

OutRun is an open-source, privacy oriented, outdoor fitness tracker.