tdjordjevski

pure-lang

Pure programming language

logicola

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.

spot

React-like desktop GUI toolkit for Go

fuzz

The fuzz typechecker for Z

pprolog

zrm

LaTeX source for the Z Reference Manual

awesome-lisp-languages

A list of Lisp-flavored programming languages

privacy.sexy

Open-source tool to enforce privacy & security best-practices on Windows, macOS and Linux, because privacy is sexy

Sophia-Script-for-Windows

:zap: The most powerful PowerShell module on GitHub for fine-tuning Windows 10 & Windows 11

MajorPrivacy

Advanced Privacy Tool for Windows

WindowsSpyBlocker

Block spying and tracking on Windows

privatezilla

👀👮🐢🔥Performs a privacy & security check of Windows 10

software-foundations

Software Foundations in Idris

lean4-raytracer

A simple raytracer written in Lean 4

rescript-tea

The Elm Architecture for Rescript

edgedb

A graph-relational database with declarative schema, built-in migration system, and a next-generation query language

fastfetch

An actively maintained, feature-rich and performance oriented, neofetch like system information tool.

neofetch

🖼️ A command-line system information tool written in bash 3.2+

pywal

🎨 Generate and change color-schemes on the fly.

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

safe-search-3

FsCodec

F# Event-Union Contract Encoding with versioning tolerant converters supporting System.Text.Json and Newtonsoft.Json

equinox

.NET event sourcing library with CosmosDB, DynamoDB, EventStoreDB, message-db, SqlStreamStore and integration test backends. Focused at stream level; see https://github.com/jet/propulsion for cross-stream projections/subscriptions/reactions

awesome-tlaplus

A curated list of TLA+ resources.

million

Optimize React performance and make your React 70% faster in minutes, not months.

Category_Theory_Machine_Learning

List of papers studying machine learning through the lens of category theory

Generaptor

GitHub Actions configuration generator

zero-to-production

Code for "Zero To Production In Rust", a book on API development using Rust.

lightningcss

An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.