Giters
Fabien Siron (fabiensiron)

fabiensiron

Geek Repo

22

followers

28

following

106

stars

Company:Epita

Home Page:http://saruta.eu

Github PK Tool:Github PK Tool

Fabien Siron's starred repositories

100-Days-Of-ML-Code

100 Days of ML Coding

License:MITStargazers:44086Issues:2440Issues:0

wtfpython

What the f*ck Python? 😱

Language:PythonLicense:WTFPLStargazers:35539Issues:748Issues:197

Gooey

Turn (almost) any Python command line program into a full GUI application with one line

Language:PythonLicense:MITStargazers:20517Issues:281Issues:598

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:2655Issues:80Issues:1999

catala

Programming language for literate programming law specification

Language:OCamlLicense:Apache-2.0Stargazers:1951Issues:21Issues:243

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:1171Issues:28Issues:1109

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1089Issues:24Issues:341

phd-thesis-template

A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)

Language:TeXLicense:MITStargazers:824Issues:46Issues:222

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Language:RustLicense:NOASSERTIONStargazers:275Issues:15Issues:29

Marabou

Language:C++License:NOASSERTIONStargazers:248Issues:28Issues:249

boolformer

Language:PythonLicense:MITStargazers:158Issues:5Issues:1

koika

A core language for rule-based hardware design 🦑

Language:CoqLicense:GPL-3.0Stargazers:137Issues:24Issues:20

ptII

Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.

Language:JavaLicense:NOASSERTIONStargazers:99Issues:22Issues:338

IEEE

Quick start for modern LaTeXing for an IEEE conference

Language:TeXLicense:0BSDStargazers:93Issues:6Issues:6

realtime-embedded-conferences

Tracking conferences in Real-time Systems, Embedded Systems, Design Automation, Cyber-Pyhsical Systems, and Robotics

Language:HTMLStargazers:89Issues:6Issues:3

WasmCert-Coq

A mechanisation of Wasm in Coq

Language:CoqLicense:MITStargazers:89Issues:12Issues:24

Maude

Language based on Rewriting Logic

Language:C++License:GPL-2.0Stargazers:77Issues:11Issues:10

tflite_micro_compiler

generate tflite micro code which bypasses the interpreter (directly calls into kernels)

Language:C++License:Apache-2.0Stargazers:76Issues:17Issues:38

blech

Blech is a language for developing reactive, real-time critical embedded software.

Language:F#License:Apache-2.0Stargazers:64Issues:5Issues:13

dnnv

A Framework for Deep Neural Network Verification

Language:PythonLicense:MITStargazers:56Issues:6Issues:30

cameleer

A Deductive Verification Tool for OCaml Programs

Language:OCamlLicense:MITStargazers:56Issues:4Issues:14

nn

Neural network for embedded systems

Language:CLicense:Apache-2.0Stargazers:32Issues:7Issues:1

coq2html

An HTML documentation generator for Coq source files

Language:OCamlLicense:GPL-2.0Stargazers:28Issues:4Issues:3

tchecker

TChecker is an open-source verification tool for timed automata

Language:C++License:MITStargazers:20Issues:11Issues:61

ktc

KTH's Timed C compiler

Language:CLicense:NOASSERTIONStargazers:19Issues:4Issues:12

these-I3S

Language:TeXLicense:CC0-1.0Stargazers:8Issues:0Issues:0

symrob

A prototype model checker for timed automata written in OCaml

Language:C++License:GPL-3.0Stargazers:7Issues:0Issues:0

heron

🏺 Simulation Solver for Timed Causality Models in TESL

Language:Standard MLLicense:MITStargazers:5Issues:4Issues:86

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

Language:C++License:Apache-2.0Stargazers:4Issues:0Issues:0

klee4labels

Klee for labels

Language:CLicense:GPL-3.0Stargazers:1Issues:0Issues:0