armael Goto Github PK
Name: Armaël Guéneau
Type: User
Company: Inria
Location: Paris-Saclay
Armaël Guéneau's Projects
emacs-doom-themes
An opinionated pack of modern color-themes
emby
Emby Server is a personal media server with apps on just about every device.
ezjsonm
An easy interface on top of the Jsonm library.
fam-bench
fiio-switch
franc
français.tête.
frecord-update-bench
fscq
FSCQ is a certified file system written and proven in Coq
gal
A simple photo gallery webapp
gen_js_api_helloworld
gospel
A tool-agnostic formal specification language for OCaml.
hol
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
i3
A better tiling and dynamic window manager
i3-assistant
ircbot
Un bot IRC en C
js_of_ocaml
Compiler from OCaml to Javascript.
lam
landmarks
A Simple Profiling Library for OCaml
lean
Lean Theorem Prover
learn-ocaml
A Web Application for Learning OCaml
ltac2
A standalone implementation of Ltac2 as a Coq plugin
lwt
OCaml promises and concurrent I/O.
manual-ocamlbuild
A new reference manual for the ocamlbuild tool
marracheck
Gotta check them all!
menu
menu-workspaces
mini-bind-mounts
minicooper
A Coq tactic for quantifier elimination in linear arithmetic
mtime
Monotonic wall-clock time for OCaml
multipart_form
According an other RFC2388...
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.