stonechoe's Stars
nlohmann/json
JSON for Modern C++
hacksider/Deep-Live-Cam
real time face swap and one-click video deepfake with only a single image
sharkdp/fd
A simple, fast and user-friendly alternative to 'find'
amix/vimrc
The ultimate Vim configuration (vimrc)
ajeetdsouza/zoxide
A smarter cd command. Supports all major shells.
asdf-vm/asdf
Extendable version manager with support for Ruby, Node.js, Elixir, Erlang & more
ml-explore/mlx
MLX: An array framework for Apple silicon
erlang/otp
Erlang/OTP
coteditor/CotEditor
Lightweight Plain-Text Editor for macOS
andreasfertig/cppinsights
C++ Insights - See your source code with the eyes of a compiler
ibhagwan/fzf-lua
Improved fzf.vim written in lua
brunnolou/react-morph
Morphing Ui transitions made simple
flix/flix
The Flix Programming Language
HoTT/book
A textbook on informal homotopy type theory
ali-rantakari/trash
Small command-line program for OS X that moves files or folders to the trash.
objective-see/KnockKnock
Enumerate persistently installed software
joshcough/HaskellStarter
A project that demonstrates getting up and running with Haskell.
techrisdev/Snap
A better Spotlight search for macOS.
epfl-lara/ScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solver
erenyenigul/ism
Write programs in Apple Notes 📝. Multi-platform stack machine implemented in Siri Shortcuts.
SwiftDevJournal/SwiftUIMarkdownEditor
A Markdown editor with live preview written with SwiftUI that runs on both iOS and Mac.
formalsec/smtml
A frontend for multiple SMT solvers in OCaml
VonHeikemen/little-wonder
A collection of extensible color schemes with minimal amount of highlighting for Neovim.
Beakerboy/vbaProject-Compiler
Create a vbaProject.bin file from VBA source files.
chanyou/blob_sign_generator
A simple blob sign generator
letieu/nvim-config
My neovim configuration
epfl-systemf/RegElk
Ocaml Linear Engine for JavaScript Regexes, implementing the algorithms described in Linear Matching of JavaScript Regular Expressions at PLDI24
hyp3rflow/ddotfiles
dotfiles for my experiment server profiles
Virtuso1225/DevKor
Virtuso1225/ku-todo