sorpaas/munje sorpaas/munje

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created about 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sorpaas/munje
github

sorpaas

Reviews

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

Repository Details

A Time-tensed Logical Programming Language

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

99problems

Noted problems in Ocaml
OCaml
1
star
31

wasmi-on-rux

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

blog.sorpaas.com

Old Blog Site Placeholder for redirection
1
star
33

ahnote

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

chtholly

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

bucme-fetcher

The BUCME Fetcher
Ruby
1
star
36

2train

Ruby
1
star
37

casper-validator

Dummy Casper validator implementation in javascript
JavaScript
1
star