bytbox/grass bytbox/grass

  • Stars
    star
    1
  • Language
    Scheme
  • License
    MIT License
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bytbox/grass
github

bytbox

Reviews

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

Repository Details

Experimental scheme library for proving program correctness

More Repositories

1

kakapo

Embedded Lisp Interpreter for Golang
Go
63
star
2

sloc

Source Lines of Code Counter
Perl
63
star
3

go-pop3

RFC1939 client implementation for go
Go
40
star
4

pommed-light

A trimmed version of the pommed hotkey handler for macbooks
C
35
star
5

golint

lint tool for golang
Go
29
star
6

pas2js

Pascal-to-JavaScript converter
Yacc
24
star
7

go-mail

RFC5322 implementation for golang
Go
16
star
8

slark

Suckless mail archiver with HTML output (to replace hypermail, pipermail, etc.)
Go
11
star
9

goprep

Golang lexical preprocessor framework
Go
10
star
10

waitmap.go

Simple thread-safe map for go
Go
6
star
11

netcat-sec

A netcat clone for TLS sessions
Go
5
star
12

obsidian

Go-based blog software
Go
4
star
13

gomake

Makefile-generation tool for golang
Go
4
star
14

procfs.go

ProcFS bindings for go
Go
3
star
15

hashmap.go

Thread-safe, lock-free hashmap in go
Go
3
star
16

mupit

Simple Markup Editor
Perl
2
star
17

munch

Feed Reader with HTTP Interface, written in Go
Go
2
star
18

hebconj

Hebrew Conjugation Stuff
Go
2
star
19

yasmon

Yet Another System Monitor
Python
2
star
20

EVAN

Event analysis and data processing suite
C++
2
star
21

category-go

Toys from category theory, in go
2
star
22

format.go

Advanced formatted I/O in go.
Go
2
star
23

lhe.hs

Haskell parser of Les-Houches event files
Haskell
2
star
24

aur

My AUR packages - this repository is deprecated - please use http://git.bytbox.net/aur
Shell
2
star
25

procd

ProcFS JSON-RPC Server in Go - note that this has been merged in with procfs.go, and so this repo is dead.
1
star
26

iv

An editor that Isn't Vi
C
1
star
27

dome

Do Me - a simple TODO list manager
Perl
1
star
28

hepevt.hs

HEPEVT parser and writer for haskell
Haskell
1
star
29

lha.hs

Les Houches Accord data structures for haskell
Haskell
1
star
30

plog

Textual log parser written in haskell
Haskell
1
star
31

tinder

Log analysis suite in go
Go
1
star
32

gleam

N-dimensional raytracer
C++
1
star
33

fuzz.go

Fuzzy Time for Go
Go
1
star
34

cashew

#go-nuts IRC bot
Go
1
star
35

contextual

Haskell library for contextual data processing
Haskell
1
star
36

haskell-fitsio

fitsio bindings for haskell
Haskell
1
star
37

hush

Simple direct chat client and server in C
C
1
star
38

masc

A scriptable mail client written in Go
Go
1
star
39

hs-format

Format string library for haskell
Haskell
1
star
40

peregrine

Simple, fast web browser
Go
1
star
41

metro

A piperacer-style game
C
1
star
42

wyvern

C
1
star