saucisson Goto Github PK

anzen

The Anzen programming language.

ardoises

Formal Modeling & Verification Platform

ardoises-helloworld

Hello world tool

autoinstall

A fork of auto-apt, that can be configured using a Lua script.

dd

Decision Diagrams in Kotlin

dd-words

docker-base

Base images for docker

hello-world

Hello, world !

kotlin-cli-lib

Kotlin project template for a library shipped with a command-line interface.

layeredata

A Lua library to represent hierarchically data.

lecture

An app to help my child in learning how to read

logickit

A Prolog-like language as a Swift Embedded Domain Specific Language.

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.

lua-parser

A Lua 5.3 parser written with LPegLabel

lua-resty-busted

Test OpenResty scripts with busted

lua.vm.js-lpeg

The Lua VM, on the Web

luafun

Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.

mapterm

moliere

paquito

pypiserver

Minimal PyPI server for uploading & downloading packages with pip/easy_install

resty-redis-mapper

Automatic mapping between Lua tables and Redis within OpenResty

rust-tutorial

saleve-2015

saucisson.github.io

Mon saucispace !

seq

Seq game