Skip to content
View kaol's full-sized avatar

Block or report kaol

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

Backup tool for PC game saves

Rust 4,807 101 Updated Dec 27, 2025

Mozart Programming System v2

Oz 597 109 Updated Feb 10, 2025
Haskell 140 18 Updated Jan 10, 2026

A theory‑backed, ultra type‑safe algebraic effects

Haskell 186 7 Updated Aug 2, 2025

Chat with your data - AI data analysis and visualization on CSV, Postgres, MySQL, Snowflake, SQLite...

TypeScript 1,513 157 Updated Jan 7, 2026

💥💻💥 A data-parallel functional programming language

Haskell 2,643 191 Updated Jan 8, 2026

Development repository for the Triton language and compiler

MLIR 18,085 2,495 Updated Jan 11, 2026

The Chuffed CP solver

C++ 119 44 Updated Jan 6, 2026

Linear optimization software

C++ 1,442 276 Updated Jan 10, 2026

Haskell JOSE and JWT library

Haskell 130 48 Updated Aug 28, 2025
Haskell 7 Updated Mar 2, 2025

Haskell Gamedev Toolkit, a library for developing games from scratch.

Haskell 68 3 Updated Dec 4, 2023

Generic Constraint Development Environment

C++ 315 82 Updated Nov 21, 2025

A higher-order effect system where the sky's the limit

Haskell 91 7 Updated Jun 15, 2022

A simulation of a true AI. Survive, grow, and learn.

Python 392 85 Updated Jun 4, 2025

Comonads By Example Conference talk

Haskell 89 2 Updated Aug 6, 2019

A community-developed version of the original Marble Marcher - a fractal physics game.

C++ 279 21 Updated Oct 11, 2025

A wayland compositor based on ideas from and inspired by xmonad

Haskell 863 38 Updated Jul 13, 2019

Command-line client for WebSockets, like netcat (or curl) for ws:// with advanced socat-like functions

Rust 8,261 318 Updated Dec 27, 2025

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

C++ 70,662 11,445 Updated Jan 8, 2026

Beyond Dying Skies Official Simulation

C++ 25 3 Updated Mar 10, 2024

A gently curated list of companies using Haskell in industry

982 138 Updated Oct 14, 2025

A Haskell client for the Selenium WebDriver protocol.

Haskell 200 73 Updated Jan 6, 2026

Haskell TUI implementation of a reaction speed game

Haskell 2 Updated Feb 26, 2018

Irc bot in Haskell. Plugins can be added/removed on the fly.

Haskell 4 1 Updated Jan 13, 2015

Type-safe, composable microservices for data analytics

Haskell 223 13 Updated Feb 7, 2024

An xhtml-based templating engine, allowing Haskell functions to be bound to XML tags.

Haskell 92 58 Updated Jul 4, 2024

CodeXL is a comprehensive tool suite that enables developers to harness the benefits of CPUs, GPUs and APUs.

C++ 1,001 150 Updated Apr 29, 2020

Iter Vehemens ad Necem - a continuation of the graphical roguelike by members of http://attnam.com

C++ 322 46 Updated Dec 15, 2025

The MiniZinc IDE

C++ 165 24 Updated Jan 8, 2026
Next