math2001
Follow
-
-
-
iris-simp-lang Public
Forked from tchajed/iris-simp-langWe define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Coq MIT License UpdatedFeb 28, 2025 -
math2001.github.io Public
My blog build with Hugo
-
about-time Public
An quick app to finally learn how to read notes quickly
JavaScript UpdatedOct 13, 2024 -
-
-
FileManager Public
⚡️ A Sublime Text 3 package to help with file (duplicate, move, create...) ⚡️
-
practical-fm Public
Forked from ligurio/practical-fmA gently curated list of companies using verification formal methods in industry
UpdatedDec 20, 2023 -
-
-
-
-
-
Terminus Public
Forked from randy3k/TerminusBring a real terminal to Sublime Text
Python MIT License UpdatedMay 23, 2022 -
-
-
serenity Public
Forked from SerenityOS/serenityThe Serenity Operating System 🐞
C++ BSD 2-Clause "Simplified" License UpdatedJan 9, 2022 -
-
numpy Public
Forked from numpy/numpyThe fundamental package for scientific computing with Python.
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 9, 2021 -
Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
Go Apache License 2.0 UpdatedDec 6, 2021 -
password-hacker Public
Hack passwords to learn how to choose safe passwords
-
git-graph-visualiser Public
See a tree-picture of (almost) all the commits in your repository
Go UpdatedSep 3, 2021 -
spinner Public
A little simple game when you have nothing else to do
JavaScript UpdatedMay 20, 2021 -
xterm.js Public
Forked from xtermjs/xterm.jsA terminal for the web
TypeScript MIT License UpdatedMay 15, 2021 -
BetterSnippetManager Public
A Sublime Text plugin to manage your snippets
-
-
-
cmt_monitor Public
Cavaliba Monitoring Tool
Python BSD 3-Clause "New" or "Revised" License UpdatedDec 5, 2020 -
Just something to play around with to develop some sort of familiarity with recurrence relations...
TypeScript MIT License UpdatedNov 21, 2020