Skip to content
View aartamonau's full-sized avatar

Block or report aartamonau

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

Liquid Types For Haskell

Haskell 1,266 149 Updated Nov 5, 2025

📚 Freely available programming books

Python 376,215 65,319 Updated Nov 4, 2025

An Emacs configuration bundle with batteries included

Emacs Lisp 6,988 2,074 Updated Nov 4, 2025

An llvm pretty printer inspired by the haskell llvm binding

Haskell 30 16 Updated Nov 4, 2025

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Haskell 2,071 273 Updated Oct 19, 2025

GUI framework that uses the web browser as a display.

Haskell 488 77 Updated Oct 16, 2025

Papers from the computer science community to read and discuss.

Shell 99,985 6,155 Updated Oct 10, 2025

My working mirror of gperftools.

C++ 4 5 Updated Oct 10, 2025

Couchbase Ruby Client Library (Official)

Ruby 110 53 Updated Oct 9, 2025

Cloud Haskell core libraries

Haskell 736 98 Updated Oct 5, 2025

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,697 668 Updated Sep 10, 2025

Mutable hash tables for Haskell, in the ST monad

Haskell 132 38 Updated Aug 20, 2025

A Haskell kernel for the Jupyter project.

Jupyter Notebook 2,642 264 Updated Aug 18, 2025

PropEr: a QuickCheck-inspired property-based testing tool for Erlang

Erlang 903 167 Updated Aug 12, 2025

My emacs config

Emacs Lisp 3 Updated Jul 6, 2025

Book of Elementary Functional Algorithms and Data structures

TeX 6,300 762 Updated Jan 2, 2025

A powerful and beautiful mode-line for Emacs.

Emacs Lisp 928 54 Updated Sep 24, 2024

A collection of different packages for CAS based data structures.

Haskell 110 27 Updated Jun 20, 2024

Increment and decrement numbers in Emacs

Emacs Lisp 124 24 Updated Apr 16, 2024

Track Emacs commands frequency

Emacs Lisp 336 24 Updated Nov 7, 2023

A scalable, deadlock-resolving resource locker

Erlang 204 26 Updated Oct 15, 2023

trayer fork with multi monitor support, cleaned up codebase and other fancy stuff

C 231 31 Updated Jun 18, 2023

being the materials for Summer 2013's course

113 18 Updated Apr 25, 2023

Compositional pipelines

Haskell 491 69 Updated Oct 15, 2022

ML-style language that compiles to GLSL for livecoding visuals

Haskell 9 Updated Apr 19, 2022

Grumpy is a Python to Go source code transcompiler and runtime.

Go 10,522 640 Updated Jan 18, 2022

Scala implementation of the Ctrie datastructure.

Scala 175 14 Updated Oct 3, 2021

A proper subset of Haskell that compiles to JavaScript

Haskell 1,285 89 Updated Jun 9, 2021

A regexp/replace command for Emacs with interactive visual feedback

Emacs Lisp 417 28 Updated May 2, 2021

Pretty Printing for Generic data

Haskell 9 2 Updated May 18, 2020
Next