Data

Tools

Indexes

Applications

Experiments

Commits

An open API service providing commit metadata for open source projects.

GitHub / dannywillems

Total Commits: 3

o1-labs/proof-systems

The proof systems used by Mina

Commits: 1,600

MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Commits: 543

craigfe/ocaml-bls12-381

Fork of https://gitlab.com/dannywillems/ocaml-bls12-381.

Commits: 314

ocsigen/ocsigen-start

Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.

Commits: 225

dannywillems/rml

Commits: 215

dannywillems/ocaml-ec

Play with elliptic curves in OCaml

Commits: 207

dannywillems/ocaml-cordova-plugin-list

List of bindings in OCaml to cordova plugins.

Commits: 199

tezos/tezos-mirror

Github test mirror of the Octez software. Please do not submit pull-requests here!

Commits: 199

dannywillems/bioinfo

Projet de bio-informatique 2015-2016

Commits: 174

renatoalencar/tezos

Commits: 123

dannywillems/ocaml-bls12-381-hash

Implementation of some cryptographic hash primitives using the scalar field of BLS12-381

Commits: 107

o1-labs/o1js-bindings

Bindings for o1js to lower layers of the proof system and the Mina transaction logic

Commits: 100

o1-labs/ocaml-gen

Commits: 97

ulrikstrid/tezos

Commits: 93

ocaml/opam-repository

Main public package repository for opam, the source package manager of OCaml.

Commits: 72

LeakIX/catapulta

Commits: 65

leakix/leakixclient-python

Python Client to LeakIX API

Commits: 63

dannywillems/bitcoin-rs

A Bitcoin client written in Rust

Commits: 51

o1-labs/o1js

TypeScript framework for zk-SNARKs and zkApps

Commits: 46

LeakIX/oxide-sql

Commits: 43

leakix/stripe-accounting

Accounting helpers for Stripe users

Commits: 32

dannywillems/ocaml-cordova-plugin-device-motion

Binding in OCaml to cordova-plugin-device-motion using gen_js_api.

Commits: 31

zcash/incrementalmerkletree

An append-only merkle tree which is always pruned, along with incremental, fast-forwarding witnesses

Commits: 29

dannywillems/ocaml-cordova-plugin-geolocation

Binding in OCaml to cordova-plugin-geolocation using gen_js_api.

Commits: 26

dannywillems/ocaml-cordova-plugin-dialogs

Binding in OCaml to cordova-plugin-dialogs using gen_js_api.

Commits: 24

dannywillems/ocaml-cordova-plugin-loading-spinner

Binding in OCaml to cordova-plugin-loading-spinner using gen_js_api.

Commits: 24

dannywillems/ocaml-cordova-plugin-statusbar

Binding in OCaml to cordova-plugin-statusbar using gen_js_api.

Commits: 24

dannywillems/ocaml-cordova-plugin-qrscanner

Binding in OCaml to cordova-plugin-qrscanner using gen_js_api.

Commits: 23

o1-labs/integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

Commits: 23

dannywillems/ocaml-cordova-plugin-progress

Binding in OCaml to cordova-plugin-progress using gen_js_api.

Commits: 23

dannywillems/ocaml-cordova-plugin-touchid

Binding in OCaml to cordova-plugin-touchid using gen_js_api.

Commits: 23

dannywillems/latex-macros-math

A set of LaTeX macro for mathematics

Commits: 23

dannywillems/ocaml-cordova-plugin-videoplayer

Binding in OCaml to com.moust.cordova.videoplayer using gen_js_api.

Commits: 23

dannywillems/ocaml-cordova-plugin-insomnia

Binding in OCaml to EddyVerbrugen insomnia plugin using gen_js_api.

Commits: 21

dannywillems/vdf.rs

Play with different VDF (Verifiable Delay Function)

Commits: 21

ocsigen/eliom

Multi-tier framework for programming web and mobile applications in OCaml.

Commits: 21

ocsigen/tuto

Ocsigen tutorial

Commits: 17

dannywillems/ocaml-cordova-plugin-media

Binding in OCaml to cordova-plugin-media using gen_js_api.

Commits: 17

ocsigen/tutorial-deprecated

Deprecated. Please use repository tuto instead.

Commits: 17

dannywillems/radix-dlt-python

Python client to Radix DLT

Commits: 16

dannywillems/99-problems

Solutions of ninety-nine problems in different programming languages

Commits: 14

dannywillems/ocaml-cordova-plugin-toast-example

Example of the binding to the toast cordova plugin.

Commits: 14

ocsigen/ocsigen-toolkit

User interface widgets for OCaml applications

Commits: 12

dannywillems/optimism-network-infra

Scripts to bootstrap a Optimism infrastructure

Commits: 11

dannywillems/ocaml-cordova-plugin-statusbar-example

Example of the binding to the statusbar cordova plugin.

Commits: 11

dannywillems/ocaml-dune-format

Enhanced ocaml dune formatter

Commits: 11

dannywillems/master-thesis-presentation

Presentation of my master thesis. In French.

Commits: 10

dannywillems/ocaml-cordova-plugin-qrscanner-example

Example of the binding to the qrscanner cordova plugin.

Commits: 9

dannywillems/ocaml-cordova-plugin-loading-spinner-example

Example of the binding to the loading spinner orientation cordova plugin.

Commits: 9

dannywillems/types-and-programming-languages-pierce-implementation

Implementation in different programming languages of exercices given in « Types and Programming Languages » by Benjamin C. Pierce.

Commits: 9

dannywillems/r2p2

R2p2 - the networking layer for a decentralised world

Commits: 8

dannywillems/ocaml-cordova-plugin-social-sharing

Binding OCaml to cordova-plugin-x-socialsharing using gen_js_api.

Commits: 7

fxfactorial/an-ocaml-adoption-manifesto

Getting Widespread OCaml Adoption

Commits: 7

craigfe/tezos-opam-repository

Fork of https://gitlab.com/tezos/opam-repository with duniverse overlays.

Commits: 7

copilot-emacs/copilot.el

An unofficial Copilot plugin for Emacs.

Commits: 6

o1-labs/snarky

OCaml DSL for verifiable computation

Commits: 5

o1-labs/snarky

OCaml DSL for verifiable computation

Commits: 5

dannywillems/supply-attack-rust-traits-fake-lib

Supply attacks with a legit library and rust traits - example library

Commits: 5

dannywillems/ocaml-gadt-playground

Play with GADT in OCaml

Commits: 4

ZcashFoundation/zebra

Zcash - Financial Privacy in Rust 🦓

Commits: 4

ocsigen/ocsigenserver

Web server in OCaml.

Commits: 4

dannywillems/ocaml-cordova-plugin-hot-code-push

Binding in OCaml to cordova-hot-code-push-plugin using gen_js_api.

Commits: 4

dannywillems/tezos-position-paper

Tezos Position paper. See https://github.com/tezos/tezos

Commits: 4

dannywillems/awesome-books-articles

A list of awesome books, articles and websites of several subjects like mathematical logic, type theory, category theory.

Commits: 4

dannywillems/shell-mina-config

Shell configuration to work in MinaProtocol/mina

Commits: 4

dannywillems/misc

MISC code.

Commits: 4

ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

Commits: 4

vbmithr/ocaml-fix

FIX protocol for OCaml

Commits: 4

o1-labs/docs2

Docs website for the Mina Protocol.

Commits: 3

dannywillems/mybootstrap

My Bootstrap

Commits: 3

dannywillems/ocaml-read-and-format-input

An input reader and parser in OCaml.

Commits: 3

zcash/orchard

Implementation of the Zcash Orchard Protocol

Commits: 3

dannywillems/ocaml-cordova-plugin-globalization-example

Example of the binding OCaml to cordova-plugin-globalization using gen_js_api.

Commits: 3

MinaProtocol/docs2

Docs website for the Mina Protocol.

Commits: 3

avsm/eeww

Experimental effects-based wonderful webserver

Commits: 3

ocaml/v2.ocaml.org

Implementation of the ocaml.org website.

Commits: 3

dannywillems/opam-setup-environment-list

Install easily an opam setup environment.

Commits: 3

jordwalke/rehp

ReHp

Commits: 3

zkry/yaml.el

Commits: 2

dannywillems/puzzle-gamma-ray

Solution to puzzle-gamma-ray

Commits: 2

ocaml/dune

A composable build system for OCaml.

Commits: 2

volrath/treepy.el

Commits: 2

zcash/librustzcash

Rust-language assets for Zcash

Commits: 2

str4d/zcash

Commits: 2

giltho/visitors

Commits: 2

dannywillems/ocaml-cordova-plugin-push-notifications-example

Example of the binding to the push notifications cordova plugin.

Commits: 2