• Stars
    star
    1
  • Language
    OCaml
  • License
    MIT License
  • Created about 10 years ago
  • Updated about 10 years ago

Reviews

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

Repository Details

Noted problems in Ocaml

More Repositories

1

rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
Rust
295
star
2

reread

Hackable Hacker News Reader.
JavaScript
160
star
3

figure

Fig powered mini-Heroku
Shell
151
star
4

nlp.intent

An open source NLP library for recognizing intent and slots.
Clojure
53
star
5

flow

Simple Flow-based Machine Learning with Tensorflow
CSS
23
star
6

bm

Binary merkle tree implementation.
Rust
15
star
7

sputnikvm-in-browser

Run SputnikVM in browser through wasm32-unknown-emscripten target.
Rust
13
star
8

coinbase_exchange_bot

a trade bot for the coinbase exchange
JavaScript
12
star
9

substrate-pow-template

Rust
11
star
10

HTTP2.jl

A HTTP2 support library for Julia
Julia
11
star
11

sputnikvm-on-rux

SputnikVM for embedded devices.
Rust
8
star
12

rust-hmac-drbg

Pure Rust Implementation of Hmac DRBG
Rust
7
star
13

etclient

A bare minimum Ethereum and Ethereum Classic client built on top of SputnikVM and etcommon.
Rust
6
star
14

blockchain-rs

A generic blockchain interface for Rust
Rust
5
star
15

u256

A bare minimal (and will be fast) U256 implementation for Rust
Rust
4
star
16

asc15-gridding

The Gridding Code for ASC15.
C++
3
star
17

active_logic

Rails Plugin for Convenient Business Logic
Ruby
3
star
18

HPack.jl

Julia's Header Compression for HTTP/2
Julia
3
star
19

ec-rs

Elliptic Curve Cryptography in Pure Rust
Rust
2
star
20

vecarray

Generic array backed by a vector
Rust
2
star
21

substrate-actors-template

Template for working with Substrate's pallet-actors
Rust
2
star
22

stylesheets

Stylesheets used for That World website
CSS
1
star
23

better_exams

CSS
1
star
24

beaty-android

Java
1
star
25

polkamisc

Miscellaneous scripts used for Polkadot validators.
Nix
1
star
26

beaty-server

Ruby
1
star
27

taskibble

Fork of Scribble for task management
Racket
1
star
28

universe.ns.mg

2D Universe Simulation
JavaScript
1
star
29

press

1
star
30

wasmi-on-rux

Run `wasmi` in the Rux microkernel!
Rust
1
star
31

blog.sorpaas.com

Old Blog Site Placeholder for redirection
1
star
32

ahnote

Ah Note is a notebook based on Dillinger
JavaScript
1
star
33

chtholly

Implementation of Chtholly Tree, a data structure used in solutions of CF896C.
Rust
1
star
34

bucme-fetcher

The BUCME Fetcher
Ruby
1
star
35

2train

Ruby
1
star
36

munje

A Time-tensed Logical Programming Language
Haskell
1
star
37

casper-validator

Dummy Casper validator implementation in javascript
JavaScript
1
star