Explore projects

Heptagon is a synchronous dataflow language whose syntax and semantics is inspired from Lustre, with a syntax allowing the expression of control structures (e.g., switch or mode automata).

An open-source platform for analysis of high-throughput repertoire sequencing (RepSeq) data

A Python-based tool to evaluate Web-SPARQL queries, an extension of SPARQL capable of querying both RDF data stores (SPARQL endpoints) and web-extracted microdata.

Utilities for dealing with RISC-V instructions in Coq

A rule-based HDL embedded within Coq

Clean old artifacts and pipelines in your projects.

Simulation of Patient related actors (PIX, PDQ, PAM... and in various HL7 versions)

A framework for declarative modeling and efficient tree decomposition based optimization and Boltzmann sampling

Course on Unity

forked from tvlfyi/tvix

forked from yazi-rs/flavors