Discover dakk/f3l-lang Open Source project by Davide Gessa (@dakk)

Simple and fast multilanguage plugin for jquery

jquery-multilang

Sailing weather routing made easy

gweatherrouting

Bitcoin data-structures library for OCaml

bitcoinml

Elliptic curve library secp256k1 wrapper for Ocaml

secp256k1-ml

A sailing weather routing library

libweatherrouting

Tezos baking redistribution software

tezpool

Multi-layer perceptron neural networks implementation in java

mlp-java

Java

caravand-fullnode

Type-safe bitcoin full-node

Come trasformare l'open-source in un lavoro

lavorare-opensource

lisk-pool

My Lisk, Shift, Ark, Rise, Oxy, Kapu, Oxy redistribution software

A smart contract language for Tezos

yallo-lang

OCaml wrapper for Qiskit quantum computing toolkit

caml_qiskit

lambda

λ-calculus ocaml library

Sailing Gadgets in a fancy realtime UI

sail-gadgets

A Web3-Powered (Near), Decentralized Quantum Simulator with Verifiable Computation

dqpu

Generate and render the bsp tree of a 3d mesh (Qt/OpenGL)

BSPTree

lisk-cmd

Lisk command line helper

Bitcoin light node for c-lightning

caravand

Open-source Commandos2 game engine

opencmd2

A lisk pool for version 3

lisk-pool3

A python library for Tezos

tezpy

A quantum emulator, running on Arduino

arduino-quantum-emulator

Lightning networks implementation

letlight

The spiderpig opereting system

spiderpig-os

sailawaytracker

A web interface to track SailawaySimulator races

Configurations for Diversa sailboat sail station

sail-station

Convert OSM XML file to a torque level

osm2torque

OCaml experimental sat3 solver

osat

camping-tycoon

experiment using tsdl

NMEA sentence parser for OCaml

nmea

L'archivio dei sistemi operativi italiani amatoriali nati tra il 2004 ed il 2006

italian_osdev_archive

lisk-dump-detector

Web platform for lisk delegates

lisk-delegate-monitor

a multithread cpu based bitcoin miner

mineml

FaberOld

Multimedia editor for haiku/beos/zetaos

node-chainso

tezpie

lambda-gp

dummy experiments over genetic programming using lambda calculus

Python template for web.py on bluemix

bluemix-webpy-template

A smart wrapper for Lisk node APIs

liskapi

Educational purpose implementation of ethereum yellow paper

eth-ml

type-safe ethereum virtual machine

evml

a multiplatform batch downloader for mangaeden.com

edenget

A comprensive software collection for nmea manipulation

nmeatoolkit

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

spaceinvaders-curses

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.

Very simple opengl model viewer written in Qt/C++

QOpengl-Model-Viewer

Initial codebase for the development of Faber.

Faber

My work in progress on haiku-os source code

Misc

Misc source codes

Haiku-WIPs

Gtk+ remake of "Uno" card game

due

tezos-ligthning

Experiments for Tezos off-chain transactions, payment channels and ligthning

sailing-cv

detect ships over sentinel2 satellites using machine learning

sentiship

Jupyter Notebook

FreeAlchemist

A simple arcade game

find your lost presale ethereum password

ethforce

Multi-layer perceptron neural network implementation written in C language

libnnal

pastry.py

Pastry DHT implementation

abstract-os

sailaway-cli