Pinned Repositories
mcc4mcc
Model Checker Collection for the Model Checking Contest @ Petri nets
petrisport
A tool to compute some characteristics on sport Petri nets
ardoises
Formal Modeling & Verification Platform
layeredata
A Lua library to represent hierarchically data.
lua-c3
Implementation of the C3 linearization algorithm in Lua
lua-copas-ev
Copas using lua-ev
lua-coronest
Lua coroutines that allow nesting
lua-doccotest
Doctest for Lua commented with Docco!
lua-hotswap
Allow hotswapping with lua require.
saucisson's Repositories
saucisson/lua-coronest
Lua coroutines that allow nesting
saucisson/lua-c3
Implementation of the C3 linearization algorithm in Lua
saucisson/lua-copas-ev
Copas using lua-ev
saucisson/lua-doccotest
Doctest for Lua commented with Docco!
saucisson/ardoises
Formal Modeling & Verification Platform
saucisson/layeredata
A Lua library to represent hierarchically data.
saucisson/lua.vm.js-lpeg
The Lua VM, on the Web
saucisson/resty-redis-mapper
Automatic mapping between Lua tables and Redis within OpenResty
saucisson/anzen
The Anzen programming language.
saucisson/ardoises-helloworld
Hello world tool
saucisson/dd
Decision Diagrams in Kotlin
saucisson/docker-base
Base images for docker
saucisson/kotlin-cli-lib
Kotlin project template for a library shipped with a command-line interface.
saucisson/lecture
An app to help my child in learning how to read
saucisson/LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
saucisson/lua-parser
A Lua 5.3 parser written with LPegLabel
saucisson/lua-resty-busted
Test OpenResty scripts with busted
saucisson/luafun
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
saucisson/mapterm
saucisson/moliere
saucisson/pypiserver
Minimal PyPI server for uploading & downloading packages with pip/easy_install
saucisson/rust-tutorial
saucisson/saucisson.github.io
Mon saucispace !
saucisson/seq
Seq game
saucisson/stratagem
Stratagem - DD- and rewriting strategies- based model checker
saucisson/test-ardoise
Ardoise used for testing only
saucisson/tictactoe
A tic-tac-toe game for Ardoises
saucisson/useless
saucisson/vitesse
saucisson/ws-inotify