• Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 8 years ago
  • Updated 11 months ago

Reviews

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

Repository Details

Elliptic curve library secp256k1 wrapper for Ocaml

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

libweatherrouting

A sailing weather routing library
Python
23
star
7

tezpool

Tezos baking redistribution software
Python
23
star
8

mlp-java

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

caravand-fullnode

Type-safe bitcoin full-node
OCaml
19
star
10

lavorare-opensource

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

lisk-pool

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

yallo-lang

A smart contract language for Tezos
OCaml
12
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