xldenis/rhb-specs xldenis/rhb-specs

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Rust
  • Created about 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xldenis/rhb-specs
github

xldenis

Reviews

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

Repository Details

More Repositories

1

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Rust
841
star
2

besm

Resurrecting PP-BESM
Haskell
25
star
3

ill

educational compiler for not (quite) toy languages
Haskell
20
star
4

whycode

OCaml
18
star
5

stackqueue

Use stackoverflow to find out how much you know.
JavaScript
15
star
6

crdocs

distributed crdt based document editor running in wasm
Rust
8
star
7

MGC

comp 520 go compiler
Haskell
6
star
8

polonius-demo

polonius-demo
Rust
5
star
9

cdsat

cdsat
SMT
4
star
10

dynamit

Simplify your web.
CSS
4
star
11

mittens

Haskell
3
star
12

why3-tools

Tools to interact with why3 sessions
OCaml
3
star
13

boogie

A (not yet) complete implementation of a Boogie parser and pretty-printer
Rust
2
star
14

xldenis.github.com

HTML
2
star
15

hliquid

Haskell Liquid templating library
Haskell
1
star
16

tool-lib

Rust
1
star
17

hake

Haskell
1
star
18

toby

the @toby selfie blogging platform. Revolutionizing social networks one pic at a time. #nofilters
JavaScript
1
star
19

calc

a simple line calculator
Rust
1
star
20

ruby

Haskell
1
star
21

todo

My public todo list. Feel free to add an item or open an issue.
Haskell
1
star
22

ferros

barebones rust-lang os
Assembly
1
star
23

xav.io

xav.io
SCSS
1
star
24

Liberator

LASA Newspaper
JavaScript
1
star
25

qqreg

Quick Registration for mchacks
CSS
1
star