KnairdA's Stars
xtensor-stack/xtensor
C++ tensors with broadcasting and lazy computing
arximboldi/ewig
The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture
arximboldi/immer
Postmodern immutable and persistent data structures for C++ — value semantics at scale
matryx/calcflow
A virtual reality tool for mathematical modeling!
inspector-repl/inspector
A drop-anywhere C++ REPL
vygr/ChrysaLisp
Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...
egladysh/metamath
Meta mathematics. Symbolic functions and derivatives.
cpp-ftw/ccsh
C++ shell
ericfreese/rat
Compose shell commands to build interactive terminal applications
mordak/playbook-dev-tools
gcc for the Blackberry Playbook, and maybe some other stuff..
fsprojects/Rezoom.SQL
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
owlbarn/owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
KDAB/hotspot
The Linux perf GUI for performance analysis.
WorldBrain/Legacy-Research-Engine
WorldBrain's Chrome Extension to full-text search through your browser history & bookmarks.
jfecher/ante
A safe, easy systems language
John-Nagle/nqthm
nqthm - the original Boyer-Moore theorem prover, from 1992
glassroom/git-gpg
Use git on an untrusted server via a GPG-encrypted repository.
mfontanini/libtins
High-level, multiplatform C++ network packet sniffing and crafting library.
cs01/gdbgui
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.
NathanCastle/BootShellCredentialProvider
Windows 10 Credential Provider intended to simplify the process of logging directly into alternative shells to Windows Explorer.
JonathanLink/PDFLayoutTextStripper
Converts a pdf file into a text file while keeping the layout of the original pdf. Useful to extract the content from a table in a pdf file for instance. This is a subclass of PDFTextStripper class (from the Apache PDFBox library).
alwsl/alwsl
Install archlinux as the WSL (Windows Subsystem for Linux) host.
asciimoo/wuzz
Interactive cli tool for HTTP inspection
namin/inc
an incremental approach to compiler construction
daseyb/pathgraph
Pretty visualizations for ray tracing algorithms
skilion/onedrive
Free Client for OneDrive on Linux
jgm/gitit
A wiki using HAppS, pandoc, and git
dafny-lang/dafny
Dafny is a verification-aware programming language
akabe/evilml
A compiler from ML to C++ template language
simeji/jid
json incremental digger