• Stars
    star
    16
  • Rank 1,276,619 (Top 26 %)
  • Language
    Emacs Lisp
  • Created almost 14 years ago
  • Updated about 13 years ago

Reviews

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

Repository Details

More Repositories

1

rust-prehistory

historical archive of rust pre-publication development
C
472
star
2

bors

Integration robot for buildbot and github
Python
422
star
3

stxt

sketch of a secure async group communication system
JavaScript
97
star
4

monotone

distributed revision control system -- historical snapshot
C
62
star
5

obsidian-dangling-links

obsidian plugin for displaying dangling links
TypeScript
43
star
6

exhaustigen-rs

exhaustive testing library
Rust
34
star
7

extent

replacement for std::ops::{Range,RangeInclusive}
Rust
34
star
8

country-bounding-boxes

Bounding boxes and misc info for countries
Python
32
star
9

backtrace-error

wrap errors with automatic backtrace capture and print-on-result-unwrap
Rust
26
star
10

concorde

Rust
25
star
11

z3-rs

Rust
23
star
12

clepsydra

small distributed database protocol
Rust
21
star
13

bocu1

a BOCU-1 encoder/decoder library in rust
Rust
16
star
14

bs

Simple bitset with small-set (single-word) optimization
Rust
14
star
15

photesthesis

test framework
C++
11
star
16

sixbit

a crate for small packed strings
Rust
10
star
17

exhaustigen

C++
10
star
18

scholar-digest

small script for managing google scholar alert emails
Python
10
star
19

pergola

abstract types for join-semilattices
Rust
10
star
20

newel

small vectorized evaluator
Rust
9
star
21

proptest-arbitrary-interop

Interop glue between arbitrary and proptest crates
Rust
7
star
22

ordbog

lossy dictionary codes for accelerated scans
Rust
6
star
23

edelcrantz

Rust
6
star
24

z3-sys

Low-level rust bindings to the Z3 SMT solver
Rust
3
star
25

ivy-notes

HTML
2
star
26

vanity25519

a small vanity-keygen toy for ed25519 keys
Rust
2
star
27

python-sregex

mirror of Joe Gregorio's structural regex module for python
Python
2
star
28

cat-wiki

mirror of the cat-language wiki https://code.google.com/p/cat-language/w/list
2
star
29

jepsen-stellar-core

Clojure
1
star
30

gophernicus

Gophernicus - a modern full-featured (and hopefully) secure gopher daemon
C
1
star
31

cat

git mirror of the cat-language repo https://code.google.com/p/cat-language
C#
1
star
32

clojure-stellar-base

clojure code for talking to stellar-core
Clojure
1
star
33

triage

scripts to help with triage on github
Python
1
star
34

berlin

berlin windowing system -- historical snapshot
C++
1
star