travitch

travitch's Stars

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust55.9k4465.8k3k

• wez/wezterm

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

  Language:Rust17.1k863.5k770

• mtshiba/pylyzer

  A fast static code analyzer & language server for Python

  Language:Rust2.4k229133

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.6k233156

• Mastermindzh/tidal-hifi

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

  Language:TypeScript1k1429756

• ruslashev/elfcat

  ELF visualizer. Generates HTML files from ELF binaries.

  Language:Rust92811321

• progfolio/elpaca

  An elisp package manager

  Language:Emacs Lisp6271132431

• Toqozz/wired-notify

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

  Language:Rust581149627

• comtrya/comtrya

  Configuration Management for Localhost / dotfiles

  Language:Rust4871316345

• CeleritasCelery/rune

  Rust VM for Emacs

  Language:Emacs Lisp432185124

• Systems-Modeling/SysML-v2-Release

  The latest incremental release of SysML v2. Start here.

  Language:Batchfile426778960

• AMythicDev/minus

  An asynchronous, runtime data feedable terminal paging library for Rust

  Language:Rust31745323

• charignon/github-review

  Github code reviews with Emacs.

  Language:Emacs Lisp315114924

• 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:SMT201148630

• stepchowfun/tagref

  Tagref helps you manage cross-references in your code.

  Language:Rust180539

• cloudhead/popol

  Minimal non-blocking I/O for Rust

  Language:Rust1629811

• zbelial/lspce

  LSP Client for Emacs implemented as a module using rust.

  Language:Emacs Lisp15733211

• twlz0ne/separedit.el

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

  Language:Emacs Lisp14662814

• luc-tielen/souffle-haskell

  Haskell bindings for the Souffle datalog language

  Language:C++103101612

• GaloisInc/parameterized-utils

  A set of utilities for using indexed types including containers, equality, and comparison.

  Language:Haskell60253814

• leanprover/SampCert

  SampCert : Verified Differential Privacy

  Language:Lean5911126

• yveszoundi/eglot-java

  Java extension for the eglot LSP client

  Language:Emacs Lisp5463313

• travitch/build-bom

  Dynamically discover the commands used to create a piece of software

  Language:Rust465118

• immunant/dwarf-writer

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

  Language:Rust26646

• 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:Haskell13762

• 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