-
-
-
clerical Public
Forked from andrejbauer/clericalCommand-like expressions for real infinite-precision calculations
OCaml MIT License UpdatedJul 4, 2023 -
-
website-tracker Public
short python program tracking website changes and notifies by sending email
-
-
-
iRRAM-Random Public
Module for randomly generated real numbers, complex numbers, matrices in iRRAM.
-
iRRAM-Compact Public
Implement Compact Subsets as a Data type in iRRAM
C++ MIT License UpdatedOct 25, 2020 -
-
random-polynomial-roots Public
iRRAM program for root finding of random polynomial
C++ MIT License UpdatedOct 11, 2020 -
-
-
erc-vc-extract Public
Forked from realcomputation/erc-vc-extractOCaml BSD 3-Clause "New" or "Revised" License UpdatedMar 19, 2019 -
iRRAM-linear-algebra Public
this public library contains useful data types and operators for linear algebra in iRRAM
MIT License UpdatedMar 13, 2018 -
cclerical Public
Forked from fbrausse/cclericalTools for parsing and interpreting the Clerical language
C UpdatedDec 10, 2017 -
TeXstudio_Solarized Public
Forked from Francis-Hsu/TeXstudio_SolarizedSolarized theme for TeXstudio
MIT License UpdatedApr 11, 2017