willtim

followers

following

stars

London

Tim Williams's starred repositories

MicroHs

Haskell implemented with combinators

Language:HaskellNOASSERTION28500

beebasm

A portable 6502 assembler with BBC Micro style syntax

Language:C++GPL-3.08300

static-haskell-nix

easily build most Haskell programs into fully static Linux executables

Language:Nix38800

si78c

si78c is a memory accurate reimplementation of Space Invaders in C.

Language:C72600

mei-amt-check

Check whether AMT is enabled and provisioned under Linux

Language:CGPL-2.046400

par2cmdline

Official repo for par2cmdline and libpar2

Language:C++GPL-2.069500

firejail

Linux namespaces and seccomp-bpf sandbox

Language:CGPL-2.0558100

Financial-Models-Numerical-Methods

Collection of notebooks about quantitative finance, with interactive python code.

Language:Jupyter NotebookAGPL-3.0539000

dash-to-panel

An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.

Language:JavaScriptGPL-2.0371600

TownGeneratorOS

The source code of the Medieval Fantasy City Generator

Language:HaxeGPL-3.0158600

honesty

NES emulator written in Haskell

Language:Haskell400

nix

My personal notes and memos about playing with NixOS on a Raspberry PI

Language:Nix12000

Pillman

Pillman boot sector game, a yellow thing eats pills and is chased by monsters.

Language:Assembly31700

semantic

Parsing, analyzing, and comparing source code across many languages

Language:Haskell891300

org-journal

A simple org-mode based journaling mode

Language:Emacs LispBSD-3-Clause123300

emax64

64-bit Emacs for Windows with ImageMagick 7

GPL-3.031500

interleave

Emacs minor mode to interleave notes and text books

Language:Emacs Lisp32900

daml

The Daml smart contract language

Language:Scala79100

typedefs

Programming language agnostic type construction language based on polynomials.

Language:IdrisAGPL-3.036500

Craft

A simple Minecraft clone written in C using modern OpenGL (shaders).

Language:CMIT1032000

How-To-Secure-A-Linux-Server

An evolving how-to guide for securing a Linux server.

CC-BY-SA-4.01707400

Expresso

A simple expressions language with polymorphic extensible row types.

Language:HaskellNOASSERTION30100

toodles

Project management directly from the TODOs in your codebase

Language:HaskellMIT96700

graphql-editor

📺 Visual Editor & GraphQL IDE.

Language:TypeScriptMIT596300

org-mind-map

This is an emacs package that creates graphviz directed graphs.

Language:Emacs LispGPL-3.053600

udev-monitor-hotplug

Script that get triggered when monitors are plugged in or out in Linux

Language:Shell15700

anki-editor

Emacs minor mode for making Anki cards with Org

Language:Emacs Lisp68900

x1carbon2018s3

S3 suspend for the X1 Carbon 2018

Language:ShellUnlicense16500

ocamlunix

Unix system programming in OCaml book

Language:TeXNOASSERTION28200

smart-contract-languages

A curated collection of resources on smart contract programming languages

NOASSERTION24000