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

📚 Freely available programming books

Python 376,185 65,320 Updated Nov 4, 2025

Papers from the computer science community to read and discuss.

Shell 99,974 6,156 Updated Oct 10, 2025

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

Go 10,522 640 Updated Jan 18, 2022

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,698 668 Updated Sep 10, 2025

An Emacs configuration bundle with batteries included

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

Book of Elementary Functional Algorithms and Data structures

TeX 6,299 763 Updated Jan 2, 2025

Shumway is a Flash VM and runtime written in JavaScript

TypeScript 3,671 395 Updated Apr 19, 2019

A Haskell kernel for the Jupyter project.

Jupyter Notebook 2,642 263 Updated Aug 18, 2025

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

Haskell 2,070 273 Updated Oct 19, 2025

github.com/cznic/ql has moved to modernc.org/ql

Go 1,300 76 Updated Nov 22, 2018

A proper subset of Haskell that compiles to JavaScript

Haskell 1,285 89 Updated Jun 9, 2021

Liquid Types For Haskell

Haskell 1,266 149 Updated Nov 5, 2025

A powerful and beautiful mode-line for Emacs.

Emacs Lisp 928 54 Updated Sep 24, 2024

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

Erlang 903 167 Updated Aug 12, 2025

An implementation of MobileOrg for the Android platform

Java 847 226 Updated Dec 3, 2018

Cloud Haskell core libraries

Haskell 736 98 Updated Oct 5, 2025

UC Berkeley release of Plan 9 under the GPLv2

C 680 122 Updated Apr 13, 2020

Open source driver for accessing raw data from the Emotiv EPOC EEG headset

Python 552 240 Updated Jul 5, 2019

Compositional pipelines

Haskell 491 69 Updated Oct 15, 2022

GUI framework that uses the web browser as a display.

Haskell 488 77 Updated Oct 16, 2025

A regexp/replace command for Emacs with interactive visual feedback

Emacs Lisp 417 28 Updated May 2, 2021

A distributed computing framework for Haskell

Haskell 349 22 Updated Oct 16, 2012

Track Emacs commands frequency

Emacs Lisp 336 24 Updated Nov 7, 2023

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

C 230 31 Updated Jun 18, 2023

A scalable, deadlock-resolving resource locker

Erlang 204 26 Updated Oct 15, 2023

Easy parametric polymorphism at run time using completely unidiomatic Go.

Go 197 21 Updated Feb 13, 2014

Erlang Backend for Idris Compiler

Haskell 187 15 Updated Jul 1, 2017

Scala implementation of the Ctrie datastructure.

Scala 175 14 Updated Oct 3, 2021

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

Haskell 150 24 Updated Jan 22, 2015

Inline C & Objective-C in Haskell

Haskell 148 15 Updated Jul 30, 2017
Next