Visual Studio Code extension for Coq

Spectral warping wavetable synth

Musicdl: A lightweight music downloader written in pure python. (轻量级无损音乐下载器，支持数十个音乐/有声读物平台，例如网易云音乐，QQ音乐，酷狗音乐，酷我音乐，咪咕音乐，千千静听，汽水音乐，Bilibili，街声，喜马拉雅，懒人听书，荔枝FM，蜻蜓FM，JOOX，TIDAL，YouTube，Apple Music，Spoti…

Graphviz in your browser

A cheatsheet of modern C language and library features.

PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

A tiny (995KB) but mighty timer in pure C. Supports clock, countdown, stopwatch, Pomodoro, and fully customizable tray animations (GIFs, CPU/Mem%)💘Don't be shy, join here: https://discord.com/invit…

Duet: static analysis for unbounded concurrency

C Intermediate Language

GDExtension wrapper for SQLite (Godot 4.x+)

Pretty printer engine for MoonBit

MoonBit language bindings for the Visual Studio Code Extension API

An interpreter for Rust's mid-level intermediate representation

One who searches underneath the bottom of consciousness: Inception(2010)

Autotile 47-tile blob tileset generator application with Godot export support. Based on Electron JS.

Create beautiful SVG guitar chord charts

A VexTab Parser for VexFlow

TypeScript library for rendering music notation & guitar tablature.

A Typst-friendly static Zettelkästen site generator.

Mechanizations of Type Theories

用HTML CSS JS 实现的钢琴辅助工具

Foetus -- Termination checker for a tiny functional language with inductive types

A Logical Relation for Martin-Löf Type Theory in Agda

A collaborative bibliography of work related to the theory and practice of computational effects

Demo for high-performance type theory elaboration

Practising Normalization by Evaluation on STLC.

MoonBit Port of Implementations for Pierce's Types and Programming Languages