bpowers/verified-jit bpowers/verified-jit

  • Stars
    star
    2
  • Language
    OCaml
  • License
    ISC License
  • Created almost 8 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bpowers/verified-jit
github

bpowers

Reviews

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

Repository Details

More Repositories

1

psm

core memory & swap reporting
Go
102
star
2

simlin

system dynamics modeling
Rust
71
star
3

sd.js

sd.js is now https://simlin.com
55
star
4

seshcookie

http sessions stored in encrypted cookies for Go
Go
51
star
5

btscale

javascript library to talk to bluetooth scales, like the acaia.
JavaScript
43
star
6

mstat

fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
Go
42
star
7

gocalc

goyacc calculator example
Shell
22
star
8

liquid-types

Logically Qualified Data Types - automatically infer refinement types
Rust
15
star
9

rust-envoy-control-plane

Envoy xDS APIs for Rust
Rust
10
star
10

judyarrays

clone of the canonical svn repo
C
10
star
11

ortools

Go wrapper for Google's ortools
C++
10
star
12

bit

big immutable table
Go
9
star
13

cnote

personal music service
C
9
star
14

musl

C
7
star
15

Raft.NET

C#
6
star
16

goembed

Raspberry Pi development in Go
Go
6
star
17

caps

Linux capabilities for go
Go
6
star
18

mule-proxy

fast proxy: eBPF data plane, Go control plane
Go
6
star
19

radix

Asynchronous Redis client for Go
Go
6
star
20

resvg-wasm

Rust
3
star
21

goroast

coffee roasting in go
Go
3
star
22

browsix.org

TeX
3
star
23

boosd

language
Go
3
star
24

slm

this was a huge mistake
C
3
star
25

wasm-crt1

description of crt1 work for WebAssembly + Emscripten + Browsix
C
3
star
26

slackfs

Go
3
star
27

go-django

utilities for interacting with Django-related data
Go
3
star
28

liballoc_hoard

use Hoard as rust's allocator
Rust
3
star
29

node-priority

getpriority(2) and setpriority(2) for node
C++
3
star
30

lightswitchrave

music player
CSS
3
star
31

go-tmux

Go
2
star
32

ronvoy

just a hobby, won't be big and professional like Envoy
Rust
2
star
33

sdjs-example

Python
2
star
34

go-xmile

Go implementation of the XMILE system dynamics standard.
Go
2
star
35

psm2

psm - rewritten in C with a reduced memory footprint
C
2
star
36

xmutil-rs

bob's xmutil as a rust library with no external dependencies
Rust
1
star
37

msgsig

Go
1
star
38

node-binary-marshal

TypeScript
1
star
39

pstore-sort

sort + filter EFI pstore logs
Go
1
star
40

clf

Python
1
star
41

godocr

godoc for remote repositories
Go
1
star
42

libralloc

malloc/free for C/C++ written in Rust
Rust
1
star
43

opensim

a Sugar activity for system dynamics modeling
Python
1
star
44

protected-service

Go
1
star
45

hal-test

an example of how to write good code that calls into HAL
C
1
star
46

seshcookie-js

Encrypted cookie-based sessions for Express
TypeScript
1
star
47

lockfree-rate

lockfree implementation of Go's rate.Limiter
Go
1
star
48

node-pipe2

exposes the pipe2 system call for building unix pipelines/filters
C++
1
star