michaelfm1211's Stars
jart/cosmopolitan
build-once run-anywhere c library
exaloop/codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
webui-dev/webui
Use any web browser or WebView as GUI, with your preferred language in the backend and modern web technologies in the frontend, all in a lightweight portable library.
michaelfm1211/mdview
a markdown stream parser implemented as a C library
F5OEO/rpitx
RF transmitter for Raspberry Pi
biopython/biopython
Official git repository for Biopython (originally converted from CVS)
michaelfm1211/ec
couple build commands and standalone source files
markondej/fm_transmitter
Raspberry Pi as FM transmitter
googlecreativelab/morse-learn
A fun little web app to help you learn Morse code on Gboard.
tornadoweb/tornado
Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.
makelinux/linux_kernel_map
Linux kernel map
Z3Prover/z3
The Z3 Theorem Prover
qutebrowser/qutebrowser
A keyboard-driven, vim-like browser based on Python and Qt.
kkew3/sat-minesweeper
An SAT-based Minesweeper agent.
silentmantra/benchmark
Odevio/Odevio-CLI
Odevio, the easy way to setup, build & release flutter apps for iOS on Linux, Windows and MacOS
gchq/CyberChef
The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis
DaQueenJodi/Arm-Assembly-Projects
google/zx
A tool for writing better scripts
shawnanastasio/CLocalAuthentication
C wrapper library for macOS's LocalAuthentication framework
michaelfm1211/udp-calculator
A calculator for making UDP packets
michaelfm1211/ping-calculator
A calculator for making ping packets
michaelfm1211/michaelfm1211
guthib [sic] stuff
michaelfm1211/vfingerd
a virtual finger server
michaelfm1211/colors.h
single header terminal colors in C
fulldecent/system-bus-radio
Transmits AM radio on computers without radio transmitting hardware.
chr15m/bugout
Back end web app services over WebRTC.
diafygi/gethttpsforfree
Source code for https://gethttpsforfree.com/