jendas1's Stars
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
Hammerspoon/hammerspoon
Staggeringly powerful macOS desktop automation with Lua
google/benchmark
A microbenchmark support library
xonsh/xonsh
:shell: Python-powered shell. Full-featured and cross-platform.
bndr/pipreqs
pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.
leanprover/lean4
Lean 4 programming language and theorem prover
holoviz/holoviews
With Holoviews, your data visualizes itself.
Linuxbrew/brew
:beer::penguin: The Homebrew package manager for Linux
pickhardt/betty
Friendly English-like interface for your command line. Don't remember a command? Ask Betty.
jbtule/cdto
Finder Toolbar app to open the current directory in the Terminal
w0lfschild/Flashlight
:mag_right: Enhance Spotlight with plugins on macOS
w0lfschild/mySIMBL
:package: Plugin manager for macOS
tuxu/nbviewer-app
A Jupyter notebook viewer for macOS
aslushnikov/latex-online
Online latex compiler. You give it a link, it gives you PDF
dongryul-kim/harvard_notes
Notes for courses taken at Harvard (2015--2019)
Homebrew/homebrew-cask-drivers
💀 Casks of Drivers (deprecated)
pkubowicz/opendetex
Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources
coddx-hq/coddx-alpha
Todo Kanban Board manages tasks and save them as TODO.md - a simple plain text file.
dgretton/pyhamilton
Python for Hamilton liquid handling robots
GaudiLabs/PocketPCR
Pocket size USB powered PCR Thermo Cycler
jvns/svg2notability
convert from svg to notability format
klep/scanline
Command line scanning utility for OSX
tuxu/ethz-thesis
LaTeX template for a PhD thesis at ETH Zurich
bridger/NumberPad
An experimental prototype calculator.
manumanoj0010/Real-EState-Website
Real state website for buying and selling houses made using Django and bootstrap4. Any user can register and make a listing for selling a property 🏘️
koeppl/stringsheet
A cheatsheet for most common Stringology tasks
n0rdlicht/rki-vaccination-scraper
A scraper to incrementally add published vaccination data by the RKI (Robert-Koch-Institut).
YakBarber/remarkable-layers
Python module for reading and writing Remarkable Lines files
GustikS/Neurologic
LRNN 1.0 original implementation (deprecated)
AleksTeresh/lcl-classifier
Automatic classification of LCL problems on paths, trees and cycles