bollu

bollu's Stars

• dlvhdr/gh-dash

  A beautiful CLI dashboard for GitHub 🚀

  Language:Go7k20171204

• piku/piku

  The tiniest PaaS you've ever seen. Piku allows you to do git push deployments to your own servers.

  Language:Python5.7k33176135

• tonsky/datascript

  Immutable database and Datalog query engine for Clojure, ClojureScript and JS

  Language:Clojure5.5k149315302

• actions/runner

  The Runner for GitHub Actions :rocket:

  Language:C#4.8k1191.7k943

• jupyterlab/jupyterlab-desktop

  JupyterLab desktop application, based on Electron.

  Language:TypeScript3.7k52437351

• BrunoLevy/geogram

  a programming library with geometric algorithms

  Language:C++1.8k38123123

• igrek51/wat

  Deep inspection of Python objects

  Language:Python1.5k71422

• CADmium-Co/CADmium

  A CAD program that runs in the browser

  Language:Rust1.4k233456

• ridiculousfish/libdivide

  Official git repository for libdivide: optimized integer division

  Language:C++1.1k394377

• JohnEarnest/Decker

  A multimedia sketchpad

  Language:C996327653

• doukutsu-rs/doukutsu-rs

  A faithful and open-source remake of Cave Story's engine written in Rust

  Language:Rust9182617956

• zulip/zulip-terminal

  Official Zulip terminal client.

  Language:Python63518507245

• GaloisInc/crucible

  Crucible is a library for symbolic simulation of imperative programs

  Language:Rust6333346942

• vignetteapp/vignette

  The open source VTuber software. ❤

  Language:C#510146834

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml415265276

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda335117263

• sosy-lab/cpachecker

  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

  Language:SWIG22423090

• sinshu/rustysynth

  A SoundFont MIDI synthesizer written in pure Rust

  Language:Rust13631020

• TwoFX/sudoku

  A sudoku game where you have to prove that your deductions are valid

  Language:Lean108348

• sillycross/PochiVM

  Lightweight framework for easy and efficient code generation

  Language:C++955210

• vmfunc/cargo-buttplug

  ensuring positive reinforcement during long, tiring code sessions~

  Language:Rust94320

• andersju/1600pr.sh

  Minimalist static photoblog generator written in POSIX-compliant shell script

  Language:Shell64406

• leanprover/LNSym

  Armv8 Native Code Symbolic Simulator in Lean

  Language:Lean5261913

• pac-dev/AmbientGardenAlbum

  An Open Source Music Album

  Language:JavaScript51102

• false-schemers/sharpF

  #F (Sharp-F or False) is a portable compiler/runtime for a minimalistic subset of the Scheme programming language. Compatibility with R5RS/R7RS Scheme programs is provided in a form of libraries written in #F itself.

  Language:C48405

• martin-cs/symfpu

  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

  Language:C++385520

• reaslab/jixia

  A static analysis tool for Lean 4.

  Language:Lean3820

• bsubercaseaux/EmptyHexagonLean

  Code related to the Lean verification of the empty hexagon theorem

  Language:Lean9600

• digama0/leangz

  Lean 4 .olean file (de)compressor

  Language:Rust5321

• hargoniX/Cpa.lean

  An implementation of Configurable Program Analysis in Lean for a univeristy project

  Language:Lean110