langston-barrett/shell-hydra langston-barrett/shell-hydra

  • Stars
    star
    1
  • Language
    Rust
  • License
    Mozilla Public Li...
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
langston-barrett/shell-hydra
github

langston-barrett

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Shell Hydra brings the goodness of Emacs's Hydra to the command line.

More Repositories

1

tree-crasher

Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.
Rust
64
star
2

treeedb

Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
Rust
55
star
3

write-yourself-a-scheme-in-agda

Like "Write Yourself a Scheme in 48 Hours", but in Agda
Agda
51
star
4

treereduce

A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
C++
50
star
5

coq-big-o

A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.
Coq
34
star
6

tree-splicer

Simple grammar-based test case generator
Rust
30
star
7

CoverTranslator

A tool for formally verifying Haskell code in Agda
Haskell
28
star
8

mogglo

Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
Rust
28
star
9

reed-thesis

My undergradate thesis on coinductive types in univalent type theory
TeX
16
star
10

contract.el

Racket-style higher-order contracts for Emacs Lisp
Emacs Lisp
13
star
11

tree-sitter-souffle

A tree-sitter grammar for Soufflé Datalog
C
13
star
12

souffle-lint

A linter for Soufflé Datalog
Rust
12
star
13

amsthm-to-anki

Translate math notes written with the amsthm package to Anki notecards!
Haskell
9
star
14

spacelix

Spacemacs-like configuration for Helix
8
star
15

duckalog

Datalog engine based on DuckDB
Rust
7
star
16

emoji.yml

a machine-readable (yaml) list of (almost) all unicode emoji
HTML
6
star
17

czz

Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
Haskell
6
star
18

icemelter

Icemelter automates steps in debugging rustc internal compiler errors (ICEs)
Rust
5
star
19

rdf-star-souffle

A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
Rust
5
star
20

nixpkgs-blight

Instrument the builds of tens of thousands of open-source packages
Nix
3
star
21

dots

NixOS configuration + dotfiles
Emacs Lisp
3
star
22

dlsubst

A naïve, bottom-up Datalog interpreter based on explicit substitutions, rather than relational joins. Just an experiment, not an efficient engine!
Haskell
3
star
23

m3u-converter

Convert M3U files into another format (markdown, yaml, etc.)
Haskell
3
star
24

tree-sitter-edit

A crate for printing modified tree-sitter parse trees, intended for use in multi-language code refactoring, linting, or modification (codemod) tools.
Rust
2
star
25

langston-barrett

2
star
26

zsh-contextual-abbrevs

Supercharged context-dependent aliases for ZSH that save you keystrokes!
Shell
2
star
27

vagrant.py

A dynamic inventory script for use with Ansible and Vagrant
Python
2
star
28

galois-haskell-nix

Nix builds for most of the Haskell projects of @GaloisInc
Nix
2
star
29

ICEDB

A database of internal compiler errors (ICEs) in rustc
Rust
2
star
30

twjsrs

Crate for (de)serializing TiddlyWiki tiddlers to and from their JSON format
Rust
1
star
31

coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq
Coq
1
star
32

SpaceZLE

A set of mnemonic, discoverable keybindings for the ZSH Line Editor, inspired by Spacemacs
Shell
1
star
33

whole-world-llvm

Compile large C(++) programs and their transitive dependencies to LLVM bitcode
Nix
1
star
34

computational-homology

Python
1
star
35

anki-wikidata

Easily create high-quality Anki cards with data from Wikidata!
Python
1
star
36

radamsa-sys

Rust bindings for Radamsa
Rust
1
star
37

rdf-star-presidents

RDF-star dataset on U.S. presidents, mined from Wikidata.
Python
1
star