travitch

travitch's Stars

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.3k4516k3.1k

• wez/wezterm

  A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

  Language:Rust18.9k943.7k828

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k672k446

• mtshiba/pylyzer

  A fast, feature-rich static code analyzer & language server for Python

  Language:Rust2.6k2110534

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.6k233158

• Mastermindzh/tidal-hifi

  The web version of Tidal running in electron with hifi support thanks to widevine.

  Language:TypeScript1.1k1332663

• ruslashev/elfcat

  ELF visualizer. Generates HTML files from ELF binaries.

  Language:Rust92911320

• progfolio/elpaca

  An elisp package manager

  Language:Emacs Lisp680835633

• Toqozz/wired-notify

  Lightweight notification daemon with highly customizable layout blocks, written in Rust.

  Language:Rust6191510127

• CeleritasCelery/rune

  Rust VM for Emacs

  Language:Emacs Lisp567225733

• comtrya/comtrya

  Configuration Management for Localhost / dotfiles

  Language:Rust5251318351

• Systems-Modeling/SysML-v2-Release

  The latest incremental release of SysML v2. Start here.

  Language:Batchfile489809167

• AMythicDev/minus

  An asynchronous, runtime data feedable terminal paging library for Rust

  Language:Rust32645423

• charignon/github-review

  Github code reviews with Emacs.

  Language:Emacs Lisp322114924

• bitwuzla/bitwuzla

  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

  Language:SMT2321310236

• stepchowfun/tagref

  Tagref helps you manage cross-references in your code.

  Language:Rust186539

• zbelial/lspce

  LSP Client for Emacs implemented as a module using rust.

  Language:Emacs Lisp17833313

• cloudhead/popol

  Minimal non-blocking I/O for Rust

  Language:Rust1649811

• twlz0ne/separedit.el

  Edit comment or string/docstring or code block inside them in separate buffer with your favorite mode

  Language:Emacs Lisp14962814

• luc-tielen/souffle-haskell

  Haskell bindings for the Souffle datalog language

  Language:C++102101612

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean6812127

• yveszoundi/eglot-java

  Java extension for the eglot LSP client

  Language:Emacs Lisp5673713

• travitch/build-bom

  Dynamically discover the commands used to create a piece of software

  Language:Rust475128

• immunant/dwarf-writer

  Updates DWARF debug sections and ELF symbols with info obtained through disassembly

  Language:Rust27746

• GaloisInc/surveyor

  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

  Language:Haskell188591

• DistRap/gcodehs

  GCode parser, pretty-printer and processing utils

  Language:Haskell14762

• kquick/briareus-py

  Generate build configurations based on input specification and repository data

  Language:Python8401

• AMythicDev/rless

  Language:Rust4320

• RyanGlScott/submods-to-source-repos

  Convert a submodule-using cabal.project file to one that uses source-repository-packages

  Language:Haskell242

• GaloisInc/ambient-verifier

  Language:Haskell171