ddeclerck Goto Github PK
Name: OCP David Declerck
Type: User
Company: OCamlPro
Twitter: davdeclerck
Location: Paris, France
OCP David Declerck's Projects
cubicle
The Cubicle model checker
digodoc
Dig into an opam switch for doc
directories
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.
drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
gnucobol
ibm-pc-bios
This is a reconstruction of the original 1981-82 IBM PC BIOS source code using scanning and transcription of the BIOS listings found in the IBM Technical Reference manuals.
liquidity
A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson
mlang
Compiler for the M language, used to compute the income tax of French taxpayers
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocaml-canvas
The OCaml-Canvas library provides a portable Canvas for OCam
ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
ocamldot
Fork of https://framagit.org/zoggy/ocamldot
ocplib-wxocaml
a WxWidgets binding for OCaml
opam-cross-osx
opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.
solanity
GPU based Solana ed25519 vanity key scanner.
solidity-docs-kr
🇰🇷 Solidity Documentation for Korean
superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
superbol-vscode-debug
timelines-cc-editor
ton-solidity-compiler
Solidity compiler for Free TON Virtual Machine
xml-light
fork of Xml-light
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.