• Stars
    star
    7
  • Rank 2,231,652 (Top 46 %)
  • Language
    OCaml
  • License
    MIT License
  • Created about 4 years ago
  • Updated about 2 years ago

Reviews

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

Repository Details

λ-calculus ocaml library

More Repositories

1

qc64

Quantum Computing on the Commodore64
BASIC
144
star
2

jquery-multilang

Simple and fast multilanguage plugin for jquery
JavaScript
49
star
3

gweatherrouting

Sailing weather routing made easy
Python
43
star
4

bitcoinml

Bitcoin data-structures library for OCaml
OCaml
43
star
5

qlasskit

A python-to-quantum compiler
Python
41
star
6

secp256k1-ml

Elliptic curve library secp256k1 wrapper for Ocaml
OCaml
24
star
7

tezpool

Tezos baking redistribution software
Python
23
star
8

libweatherrouting

A sailing weather routing library
Python
21
star
9

mlp-java

Multi-layer perceptron neural networks implementation in java
Java
20
star
10

caravand-fullnode

Type-safe bitcoin full-node
OCaml
19
star
11

lisk-pool

My Lisk, Shift, Ark, Rise, Oxy, Kapu, Oxy redistribution software
Python
14
star
12

lavorare-opensource

Come trasformare l'open-source in un lavoro
14
star
13

yallo-lang

A smart contract language for Tezos
OCaml
12
star
14

caml_qiskit

OCaml wrapper for Qiskit quantum computing toolkit
OCaml
9
star
15

sail-gadgets

Sailing Gadgets in a fancy realtime UI
OCaml
5
star
16

BSPTree

Generate and render the bsp tree of a 3d mesh (Qt/OpenGL)
C++
5
star
17

lisk-cmd

Lisk command line helper
JavaScript
4
star
18

caravand

Bitcoin light node for c-lightning
OCaml
4
star
19

opencmd2

Open-source Commandos2 game engine
OCaml
4
star
20

lisk-pool3

A lisk pool for version 3
Python
4
star
21

tezpy

A python library for Tezos
Python
4
star
22

f3l-lang

A functional low level language subset of OCaml
OCaml
3
star
23

letlight

Lightning networks implementation
OCaml
3
star
24

spiderpig-os

The spiderpig opereting system
C
3
star
25

sailawaytracker

A web interface to track SailawaySimulator races
JavaScript
3
star
26

osm2torque

Convert OSM XML file to a torque level
Python
3
star
27

osat

OCaml experimental sat3 solver
OCaml
3
star
28

camping-tycoon

experiment using tsdl
OCaml
3
star
29

nmea

NMEA sentence parser for OCaml
OCaml
3
star
30

lisk-delegate-monitor

Web platform for lisk delegates
JavaScript
2
star
31

lisk-dump-detector

JavaScript
2
star
32

mineml

a multithread cpu based bitcoin miner
F#
2
star
33

FaberOld

Multimedia editor for haiku/beos/zetaos
C++
2
star
34

node-chainso

Chain.so API wrapper
JavaScript
2
star
35

tezpie

Python
2
star
36

lambda-gp

dummy experiments over genetic programming using lambda calculus
OCaml
2
star
37

bluemix-webpy-template

Python template for web.py on bluemix
Python
2
star
38

liskapi

A smart wrapper for Lisk node APIs
JavaScript
2
star
39

eth-ml

Educational purpose implementation of ethereum yellow paper
OCaml
2
star
40

due

Gtk+ remake of "Uno" card game
C
1
star
41

evml

type-safe ethereum virtual machine
OCaml
1
star
42

edenget

a multiplatform batch downloader for mangaeden.com
Python
1
star
43

nmeatoolkit

A comprensive software collection for nmea manipulation
Python
1
star
44

spaceinvaders-curses

curses implementation of spaceinvaders with pipe, systemv and posix threads (project for an exam)
1
star
45

QOpengl-Model-Viewer

Very simple opengl model viewer written in Qt/C++
C++
1
star
46

Faber

Initial codebase for the development of Faber.
C++
1
star
47

Misc

Misc source codes
C
1
star
48

Haiku-WIPs

My work in progress on haiku-os source code
C++
1
star
49

tezos-ligthning

Experiments for Tezos off-chain transactions, payment channels and ligthning
Python
1
star
50

sailing-cv

Python
1
star
51

sentiship

detect ships over sentinel2 satellites using machine learning
Jupyter Notebook
1
star
52

FreeAlchemist

A simple arcade game
Python
1
star
53

ethforce

find your lost presale ethereum password
Python
1
star
54

sail-station

Configurations for Diversa sailboat sail station
Python
1
star
55

libnnal

Multi-layer perceptron neural network implementation written in C language
C
1
star
56

socialminer

Peer-to-peer search and report for social accounts related to the ISIS. The search is based on a dictionary of suspicious keywords, results are not guaranteed to be reliable. The software automatically connect to a peer-to-peer network of social miners: miners exchange account reports for creating a distributed database.
Python
1
star
57

pastry.py

Pastry DHT implementation
Python
1
star
58

abstract-os

C++
1
star
59

sailaway-cli

Python
1
star