willtim's Stars
imthenachoman/How-To-Secure-A-Linux-Server
An evolving how-to guide for securing a Linux server.
fogleman/Craft
A simple Minecraft clone written in C using modern OpenGL (shaders).
github/semantic
Parsing, analyzing, and comparing source code across many languages
graphql-editor/graphql-editor
📺 Visual Editor & GraphQL IDE.
netblue30/firejail
Linux namespaces and seccomp-bpf sandbox
cantaro86/Financial-Models-Numerical-Methods
Collection of notebooks about quantitative finance, with interactive python code.
home-sweet-gnome/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.
watabou/TownGeneratorOS
The source code of the Medieval Fantasy City Generator
bastibe/org-journal
A simple org-mode based journaling mode
aviaviavi/toodles
Project management directly from the TODOs in your codebase
digital-asset/daml
The Daml smart contract language
loadzero/si78c
si78c is a memory accurate reimplementation of Space Invaders in C.
Parchive/par2cmdline
Official repo for par2cmdline and libpar2
louietan/anki-editor
Emacs minor mode for making Anki cards with Org
the-ted/org-mind-map
This is an emacs package that creates graphviz directed graphs.
mjg59/mei-amt-check
Check whether AMT is enabled and provisioned under Linux
nh2/static-haskell-nix
easily build most Haskell programs into fully static Linux executables
typedefs/typedefs
Programming language agnostic type construction language based on polynomials.
augustss/MicroHs
Haskell implemented with combinators
rudolfochrist/interleave
Emacs minor mode to interleave notes and text books
nanochess/Pillman
Pillman boot sector game, a yellow thing eats pills and is chased by monsters.
m-parashar/emax64
64-bit Emacs for Windows with ImageMagick 7
willtim/Expresso
A simple expressions language with polymorphic extensible row types.
ocaml/ocamlunix
Unix system programming in OCaml book
s-tikhomirov/smart-contract-languages
A curated collection of resources on smart contract programming languages
fiji-flo/x1carbon2018s3
S3 suspend for the X1 Carbon 2018
codingtony/udev-monitor-hotplug
Script that get triggered when monitors are plugged in or out in Linux
zupo/nix
My personal notes and memos about playing with NixOS on a Raspberry PI
stardot/beebasm
A portable 6502 assembler with BBC Micro style syntax
Nick-Chapman/honesty
NES emulator written in Haskell