• Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

A smart contract language for Tezos

More Repositories

1

qc64

Quantum Computing on the Commodore64
BASIC
150
star
2

qlasskit

A python-to-quantum compiler
Python
56
star
3

jquery-multilang

Simple and fast multilanguage plugin for jquery
JavaScript
49
star
4

gweatherrouting

Sailing weather routing made easy
Python
45
star
5

bitcoinml

Bitcoin data-structures library for OCaml
OCaml
43
star
6

secp256k1-ml

Elliptic curve library secp256k1 wrapper for Ocaml
OCaml
24
star
7

libweatherrouting

A sailing weather routing library
Python
23
star
8

tezpool

Tezos baking redistribution software
Python
23
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

lavorare-opensource

Come trasformare l'open-source in un lavoro
15
star
12

lisk-pool

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

caml_qiskit

OCaml wrapper for Qiskit quantum computing toolkit
OCaml
8
star
14

lambda

λ-calculus ocaml library
OCaml
8
star
15

sail-gadgets

Sailing Gadgets in a fancy realtime UI
OCaml
6
star
16

dqpu

A Web3-Powered (Near), Decentralized Quantum Simulator with Verifiable Computation
Python
6
star
17

BSPTree

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

lisk-cmd

Lisk command line helper
JavaScript
4
star
19

caravand

Bitcoin light node for c-lightning
OCaml
4
star
20

opencmd2

Open-source Commandos2 game engine
OCaml
4
star
21

lisk-pool3

A lisk pool for version 3
Python
4
star
22

tezpy

A python library for Tezos
Python
4
star
23

arduino-quantum-emulator

A quantum emulator, running on Arduino
C++
4
star
24

f3l-lang

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

letlight

Lightning networks implementation
OCaml
3
star
26

spiderpig-os

The spiderpig opereting system
C
3
star
27

sailawaytracker

A web interface to track SailawaySimulator races
JavaScript
3
star
28

sail-station

Configurations for Diversa sailboat sail station
Python
3
star
29

osm2torque

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

osat

OCaml experimental sat3 solver
OCaml
3
star
31

camping-tycoon

experiment using tsdl
OCaml
3
star
32

nmea

NMEA sentence parser for OCaml
OCaml
3
star
33

italian_osdev_archive

L'archivio dei sistemi operativi italiani amatoriali nati tra il 2004 ed il 2006
C
2
star
34

lisk-dump-detector

JavaScript
2
star
35

lisk-delegate-monitor

Web platform for lisk delegates
JavaScript
2
star
36

mineml

a multithread cpu based bitcoin miner
F#
2
star
37

FaberOld

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

node-chainso

Chain.so API wrapper
JavaScript
2
star
39

tezpie

Python
2
star
40

lambda-gp

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

bluemix-webpy-template

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

liskapi

A smart wrapper for Lisk node APIs
JavaScript
2
star
43

eth-ml

Educational purpose implementation of ethereum yellow paper
OCaml
2
star
44

evml

type-safe ethereum virtual machine
OCaml
1
star
45

edenget

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

nmeatoolkit

A comprensive software collection for nmea manipulation
Python
1
star
47

spaceinvaders-curses

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

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
49

QOpengl-Model-Viewer

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

Faber

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

Misc

Misc source codes
C
1
star
52

Haiku-WIPs

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

due

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

tezos-ligthning

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

sailing-cv

Python
1
star
56

sentiship

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

FreeAlchemist

A simple arcade game
Python
1
star
58

ethforce

find your lost presale ethereum password
Python
1
star
59

libnnal

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

pastry.py

Pastry DHT implementation
Python
1
star
61

abstract-os

C++
1
star
62

sailaway-cli

Python
1
star