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

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

☕ A litte coffee guidebook

1 Updated Feb 15, 2019

Pretty Printing for Generic data

Haskell 9 2 Updated May 18, 2020

Erlang Backend for Idris Compiler

Haskell 187 15 Updated Jul 1, 2017

Collection of various research papers I find interesting

84 16 Updated Oct 6, 2015

Inline C & Objective-C in Haskell

Haskell 148 15 Updated Jul 30, 2017

Papers from the computer science community to read and discuss.

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

originally couchbase proxy project now just quick couchbase loader in go

Go 4 1 Updated May 24, 2014

Liquid Types For Haskell

Haskell 1,266 149 Updated Nov 5, 2025

UC Berkeley release of Plan 9 under the GPLv2

C 680 122 Updated Apr 13, 2020

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

Go 1,300 76 Updated Nov 22, 2018

A Haskell kernel for the Jupyter project.

Jupyter Notebook 2,642 263 Updated Aug 18, 2025

Shumway is a Flash VM and runtime written in JavaScript

TypeScript 3,671 395 Updated Apr 19, 2019

📚 Freely available programming books

Python 376,160 65,316 Updated Nov 4, 2025

A scalable, deadlock-resolving resource locker

Erlang 204 26 Updated Oct 15, 2023

Abstract full system simulator

Haskell 9 2 Updated Jun 19, 2013

Easy parametric polymorphism at run time using completely unidiomatic Go.

Go 197 21 Updated Feb 13, 2014

Scala implementation of the Ctrie datastructure.

Scala 175 14 Updated Oct 3, 2021

GUI framework that uses the web browser as a display.

Haskell 488 77 Updated Oct 16, 2025

Track Emacs commands frequency

Emacs Lisp 336 24 Updated Nov 7, 2023

A Java JIT compiler written in Haskell

Java 73 4 Updated Sep 7, 2013

Fixed length list type for Haskell

Haskell 6 Updated Jul 30, 2015

A proper subset of Haskell that compiles to JavaScript

Haskell 1,285 89 Updated Jun 9, 2021

VM and tracing JIT for Haskell (work in progress)

Haskell 79 8 Updated Oct 25, 2014

being the materials for Summer 2013's course

113 18 Updated Apr 25, 2023

Increment and decrement numbers in Emacs

Emacs Lisp 124 24 Updated Apr 16, 2024

A plugin for GHC to turn Haskell into a strict language

Haskell 27 1 Updated Aug 8, 2012

A Git pre-commit hook that checks formatting of Go code

Shell 135 17 Updated Apr 9, 2018

A powerful and beautiful mode-line for Emacs.

Emacs Lisp 928 54 Updated Sep 24, 2024
Next