• 2
• 0
• 0

libclang_rt.builtins-wasm32.a

The missing libclang_rt.builtins-wasm32.a file to compile to WebAssembly.

• 2
• 0
• 0

isometric

Unfinished isometric graphics engine in C++ (2004)

• 2
• 0
• 0

llvm-hs

Haskell bindings for LLVM

• 2
• 0
• 0

lambda-pi-plus

A simple Depdently-Typed Language for Research and Learning

• 2
• 0
• 0

hs-ieee754

Approximate comparisons for IEEE floating point numbers in Haskell

• 2
• 0
• 0

hasklig-mode

hasklig-mode.el - Hasklig ligatures for emacs

• 2
• 0
• 0

grouptsp

Travelling salesman (2004)

• 2
• 0
• 0

geniplate

Use TH to generate uniplate-like functions.

• 2
• 0
• 0

experiments

• 2
• 0
• 0

echoxul

echo2 java web app + xul (2006)

• 2
• 0
• 0

doxygen2adoc

Doxygen import for Asciidoc using XSLT and the Doxygen XML output

• 2
• 0
• 0

decrypter

gtk2 application to play with substitution ciphers (2005)

• 2
• 0
• 0

andromeda.hs

This is a direct port of Andrej Bauer's dependent type theory implementation from OCaml to Haskell

• 2
• 0
• 0

bpfasm

bpfasm from linux kernel with support for literals

• 2
• 0
• 0

bigint-unboxed

JavaScript big integers with support for ES6 BigInt and unboxed small integers

• 2
• 0
• 0

arduino-pi-gefrickel

Arduino/Rasberry Pi Gefrickel - Arduino/Rasberry Pi Fiddling

• 2
• 0
• 0

iso-date

A simple library for working with ISO (YYYY-MM-DD) dates in Emacs

• 2
• 0
• 0

llama

Compact syntax for short lambda

• 2
• 0
• 0

beframe

Isolate Emacs buffers per frame

• 2
• 0
• 0

ultra-scroll

scroll emacs-mac like lightning