nanls
Follow
Stars
Source du manuel Analyse et conception de logiciels (Quarto Markdown)
A simple command line tool and module for interacting with the simple filesystem on the BBC micro:bit.
A shell-like program made for the micro:bit
ShellCheck, a static analysis tool for shell scripts
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
Sudoku solving in python packaging
Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages
A Python package for computing various types of trap spaces in multi-valued networks
Moodle's GIFT format extension for VSCode, including syntax highlighting, error checking and snippets.
A simple one page website created to help complete beginners learn HTML basics, which in this repo has also been styled to help beginners learn CSS basics. The styling is explained over the course …
CEGAR for universal properties over minimal trap spaces of Boolean networks
Computation of minimal trap spaces in BNs
The best free and open-source automated time tracker. Cross-platform, extensible, privacy-focused.
📚 Import Bibtex publications and Jupyter Notebook blog posts into your Markdown website or book. 将Bibtex转换为Markdown网站
Safe and simple one-script git synchronization
my settings to set-up a new linux installation
Synthesis and Reprogramming of Most Permissive Boolean Networks
COMPILES: Computational package for COMPutIng anaLytic positivE Steady states. steadyState.m is placed on this page as a preview of the code; the same file is included in COMPILES.zip
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs