phlummox's Stars
rust-lang/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
11ty/eleventy
A simpler site generator. Transforms a directory of templates (of varying types) into HTML.
tholman/github-corners
A fresher "Fork me on GitHub" callout.
root-project/cling
The cling C++ interpreter
benhoyt/goawk
A POSIX-compliant AWK interpreter written in Go, with CSV support
roswell/roswell
intended to be a launcher for a major lisp environment that just works.
cferdinandi/reef
A lightweight library for creating reactive, state-based components and UI.
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
stoically/temporary-containers
Firefox Add-on that lets you open automatically managed disposable containers
Keats/kickstart
A scaffolding tool to get new projects up and running quickly
humphd/browser-shell
A Linux command-line shell in the browser
ekg/intervaltree
a minimal C++ interval tree implementation
joplin-vieweb/joplin-vieweb
A web viewer for Joplin app
fenollp/reMarkable-tools
Tools for the reMarkable paper tablet
awakesecurity/spectacle
Embedded specification language & model checker in Haskell
machinateur/android-chrome-tab-transfer
A tool to transfer google chrome tabs from your android phone to your computer using `adb`.
jvranish/MiniKanrenT
An implementation of miniKanren in Haskell
myuon/ghc-compiler-notes
A collection of Notes on GHC
jizhang/perl-virtualenv
Virtual Environment for Perl
haskell-cryptography/HsOpenSSL
OpenSSL binding for Haskell
archambaultv/sexpresso
Flexible Haskell library for parsing and printing S-Expressions
JesterOrNot/Gitpod-Android
Android-Development in Gitpod
resurrecting-open-source-projects/txt2html
Text to HTML converter
skypjack/gh-greets-qt
GH Actions greets a Qt based project using CMake and CMakeIFW
kinokomushroom/SpecialRelativityVisualizer
Tool to visualize special relativity
resurrecting-open-source-projects/iwatch
Realtime filesystem monitoring program using inotify
coalton-lang/coalton-website
Hugo source material for the Coalton website.
noteed/tcc
Haskell bindings to the Tiny C Compiler library (libtcc).
zhaohouhou/Formal-Methods-Foundation-2015-USTC-
Docs and lab codes of the course "Formal Methods Foundation (2015)" at USTC.
nicman42/encrypt-bookmarks-chrome-extension
Encrypt your bookmarks with a password