Skip to content
View ath's full-sized avatar
🌟
🌟
  • Germany
  • 09:26 (UTC +02:00)

Block or report ath

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

This is a presentation about haskell's type families.

JavaScript 16 Updated May 17, 2018

Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.

Python 37,955 4,789 Updated Aug 18, 2026

Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.

Dart 5,382 418 Updated Aug 17, 2026

A full-featured BDD unit testing framework for bash, ksh, zsh, dash and all POSIX shells

Shell 1,392 78 Updated Nov 24, 2025

🙌 OpenHands: AI-Driven Development

TypeScript 84,363 10,960 Updated Aug 18, 2026

A curated list of awesome AI tools, frameworks, api, software and resources.

582 120 Updated May 4, 2024

Liquid Types For Haskell

Haskell 1,329 162 Updated Aug 17, 2026

mercurial to git bridge, pushed to directly from the hg-git plugin in Hg

Python 617 66 Updated Apr 21, 2016

Automate Clojure projects without setting your hair on fire.

Clojure 1 Updated Jan 13, 2012

Benchmarking library for clojure

Clojure 1,224 53 Updated Jun 17, 2026

Moved to Codeberg; this is a temporary convenience mirror

Clojure 7,296 1,571 Updated Jun 8, 2026

Swank/slime support for clojure

Emacs Lisp 411 80 Updated Oct 23, 2014

[deprecated] A library for creating functional parsers in Clojure.

Clojure 112 19 Updated Jun 8, 2016