Skip to content
View DataKinds's full-sized avatar
💖
new blog theme! check it out at https://datakinds.github.io/
💖
new blog theme! check it out at https://datakinds.github.io/

Organizations

@perl6 @8values

Block or report DataKinds

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

TypeScript runtime implementation written in Go. **cough**

Go 5 Updated Nov 24, 2025

A toy ASDL (Abstract Syntax Description Language) intended to make writing compilers in C less tedious.

OCaml 12 Updated Jul 9, 2025

tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)

C 14 5 Updated Oct 24, 2025

Compiler for the Mirth programming language.

C 481 18 Updated Dec 4, 2025

Pydoll is a library for automating chromium-based browsers without a WebDriver, offering realistic interactions.

Python 6,270 335 Updated Dec 10, 2025

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

Kotlin 9,633 232 Updated Dec 17, 2025

Simple GHC (Haskell) integration for VSCode

TypeScript 228 14 Updated Jun 23, 2024

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

3,030 172 Updated Nov 5, 2025

A Forth implementation for the TI-84+ calculator.

Assembly 99 4 Updated May 23, 2024

An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.

Scheme 247 5 Updated May 12, 2025

a polysemantic language for code with multitudes of meaning

JavaScript 22 Updated Nov 18, 2025

SteamOS session compositing window manager

C++ 4,311 299 Updated Dec 20, 2025

Xwayland outside your Wayland

Rust 759 43 Updated Dec 17, 2025

Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉

C++ 10,137 944 Updated Dec 18, 2025

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

C 1,741 92 Updated Jul 10, 2025

A scrollable-tiling Wayland compositor.

Rust 16,452 591 Updated Dec 20, 2025

n³ The unorthodox terminal file manager

C 20,965 787 Updated Dec 16, 2025

Dataflow 'spreadsheet' desktop environment

Lua 176 6 Updated Nov 3, 2023

🌑 Forth Programming Language on Lua

Lua 23 1 Updated Jun 19, 2025

This is the repository containing Rosin. Rosin is a tree rewriting language.

Haskell 6 Updated Oct 7, 2025

文言文編程語言 A programming language for the ancient Chinese.

TypeScript 20,161 1,101 Updated Oct 20, 2023

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

C 210 18 Updated Jul 4, 2024

Probabilistic language based on pattern matching and constraint propagation, 153 examples

C# 7,964 340 Updated Nov 22, 2025

Command-line Git information tool

Rust 11,392 302 Updated Dec 14, 2025

Koka language compiler and interpreter

Koka 3,766 193 Updated Dec 5, 2025

A statically typed concatenative systems programming language.

Haskell 1,149 42 Updated Apr 10, 2023

Yet another UNIX-like argument parser for C. CC0-licensed.

C 20 Updated Aug 5, 2025

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

TeX 11,435 625 Updated Dec 13, 2025

Barbell is like the templating system Handlebars, but with BQN's Under doing the heavy lifting

BQN 4 2 Updated Dec 1, 2025
Next