-
smt-learn Public
Playing around with the Satisfiability Modulo Theories Library
SMT UpdatedApr 1, 2025 -
-
cpp-openjpeg Public
Forked from uclouvain/openjpegC++ fork of OpenJPEG, an open-source JPEG 2000 codec.
C++ Other UpdatedDec 12, 2024 -
-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedDec 11, 2024 -
-
tufte-jekyll Public
Forked from clayh53/tufte-jekyllMinimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books
SCSS MIT License UpdatedDec 29, 2021 -
-
-
Cellular-Growth-Simulation Public
Cellular automata model of cellular growth
MATLAB UpdatedNov 13, 2020 -
indent-primitives Public
Forked from zaklogician/indent-primitivesScala primitives for autoindentors based on Wadler/Leijen
Scala BSD 3-Clause "New" or "Revised" License UpdatedFeb 5, 2020 -
{{ message }}