Skip to content
View kaol's full-sized avatar
  • KSF Media

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Haskell 81 12 Updated Jan 30, 2025

higher-order algebraic effects done right for Haskell

Haskell 84 4 Updated Dec 27, 2024

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

TypeScript 1,047 98 Updated Feb 3, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,463 173 Updated Feb 13, 2025

Development repository for the Triton language and compiler

C++ 14,380 1,781 Updated Feb 13, 2025

The Chuffed CP solver

C++ 100 44 Updated Dec 3, 2024

Linear optimization software

C++ 1,047 198 Updated Feb 13, 2025

Haskell JOSE and JWT library

Haskell 124 45 Updated Jul 21, 2024
Haskell 7 Updated Jan 9, 2025

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

Haskell 66 2 Updated Dec 4, 2023

Generic Constraint Development Environment

C++ 285 76 Updated Jul 4, 2024

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 362 77 Updated Dec 31, 2024

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++ 264 19 Updated Dec 12, 2024

A wayland compositor based on ideas from and inspired by xmonad

Haskell 850 39 Updated Jul 13, 2019

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

Rust 7,392 283 Updated Feb 12, 2025

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

C++ 63,157 10,581 Updated Feb 13, 2025

Beyond Dying Skies Official Simulation

C++ 24 3 Updated Mar 10, 2024

A gently curated list of companies using Haskell in industry

956 140 Updated Dec 28, 2024

A Haskell client for the Selenium WebDriver protocol.

Haskell 193 72 Updated Nov 16, 2024

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 222 14 Updated Feb 7, 2024

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

Haskell 92 57 Updated Jul 4, 2024

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

C++ 995 146 Updated Apr 29, 2020

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

C++ 311 44 Updated Dec 18, 2024

The MiniZinc IDE

C++ 146 22 Updated Feb 13, 2025

The MiniZinc compiler

C++ 529 82 Updated Feb 13, 2025

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

Haskell 459 66 Updated Jul 4, 2024
Next