Identify bird sounds in real time with this Android version of BirdNET. Bird sound recognition for more than 6,000 species worldwide.

Build and send WhatsApp .was stickers from Lottie templates.

the lisp I always wanted

Intelligent File Searcher that can search for descriptions in media files like photos, for example "receipt from market of $42.00" using AI based classification

Master programming by recreating your favorite technologies from scratch.

Simple, expressive & portable programming language for efficient scripting

A C Compiler that fits in the 512 byte boot sector of an x86 machine

`t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk, sort, and uniq.

The Book of Statistical Proofs

Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Discord bridging plugin for block game https://modrinth.com/plugin/discordsrv

Circuit IR Compilers and Tools

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

An open-source FPGA development board in RaspberryPi Pico form factor.

s&box is a modern game engine, built on Valve's Source 2 and the latest .NET technology, it provides a modern intuitive editor for creating games

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

EGGROLL in C, integer-first training

A simple, extensible LLM client for Emacs

Public snapshots of "ACSL by Example"

Server implementing the Microsoft Language Protocol for Ada and SPARK

A curated list of awesome resources related to the Ada and SPARK programming language

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Go implementation of SimpleDB, a basic RDBMS described by the "Database Design and Implementation" book by Edward Sciore

A x86 Unix-like OS made entirely from scratch

Fil-C: completely compatible memory safety for C and C++

A small C compiler

A system for designing synthesizers with WebAudio, and a synthesis engine that underpins software for live coding.