xldenis/ferros xldenis/ferros

  • Stars
    star
    1
  • Language
    Assembly
  • Created over 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xldenis/ferros
github

xldenis

Reviews

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

Repository Details

barebones rust-lang os

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

rhb-specs

Rust
5
star
9

polonius-demo

polonius-demo
Rust
5
star
10

cdsat

cdsat
SMT
4
star
11

dynamit

Simplify your web.
CSS
4
star
12

mittens

Haskell
3
star
13

why3-tools

Tools to interact with why3 sessions
OCaml
3
star
14

boogie

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

xldenis.github.com

HTML
2
star
16

hliquid

Haskell Liquid templating library
Haskell
1
star
17

tool-lib

Rust
1
star
18

hake

Haskell
1
star
19

toby

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

calc

a simple line calculator
Rust
1
star
21

ruby

Haskell
1
star
22

todo

My public todo list. Feel free to add an item or open an issue.
Haskell
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