francoisschwarzentruber's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
RustPython/RustPython
A Python Interpreter written in Rust
sveltejs/kit
web development, streamlined
rust-lang/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
overleaf/overleaf
A web-based collaborative LaTeX editor
sympy/sympy
A computer algebra system written in pure Python
roundcube/roundcubemail
The Roundcube Webmail suite
doxygen/doxygen
Official doxygen git repository
racket/racket
The Racket repository
google/liquidfun
2D physics engine for games
SchedMD/slurm
Slurm: A Highly Scalable Workload Manager
paulrosen/abcjs
javascript for rendering abc music notation
opensheetmusicdisplay/opensheetmusicdisplay
OpenSheetMusicDisplay renders sheet music in MusicXML format in your web browser based on VexFlow. OSMD is brought to you by PhonicScore.com.
josephwright/beamer
A LaTeX class for producing presentations and slides
pypy/pypy
PyPy is a very fast and compliant implementation of the Python language.
Natooz/MidiTok
MIDI / symbolic music tokenizers for Deep Learning models 🎶
plk/biblatex
biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8
plk/biber
Backend processor for BibLaTeX
Robotechnic/diagraph
A typst wasm plugin to use graphviz directly inside documents
haroldo-ok/vcs-game-maker
Create Atari 2600 programs with no coding knowledge.
uliska/lilyglyphs
Make LilyPond's notational elements available in Lua- and XeLaTeX
crillab/pyxai
PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).
andreArtelt/IJCAI24-CF_Tut
IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/
manoskary/MusGConv
Implementation and experiment of the MusGConv paper.
mquinson/retrogames
Programming Projects for Intermediate Learners
Tchou/sqlsb
Online SQL evaluator
itsmeavi/POLmc
urholaukkarinen/algx
Rust implementation of Knuth's Algorithm X
VictorienDesbois/codm_star
CODM*, a modular and complete algorithm to solve Connected Multi-agent Pathfinding.
Pedagologues/exomatique
Exomatique website