VHarisop's Stars
coq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
math-comp/math-comp
Mathematical Components
Coq-Polyhedra/Coq-Polyhedra
Formalizing convex polyhedra in Coq
npgall/concurrent-trees
Concurrent Radix and Suffix Trees for Java
takistakis/git-tree
List files tracked by git in a tree-like format.
mikeizbicki/HLearn
Homomorphic machine learning
evhub/coconut
Simple, elegant, Pythonic functional programming.
prakhar1989/awesome-courses
:books: List of awesome university courses for learning Computer Science!
epilys/ocaml-prolog
prolog interpreter in ocaml
xonsh/xonsh
:shell: Python-powered shell. Full-featured and cross-platform.
Mandragorian/https-check
Check https support for a site subdomains
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Mandragorian/simple-markov
A python library for markov chains used in Stochastic Processes course in NTUA
mhinz/vim-galore
:mortar_board: All things Vim!
sindresorhus/awesome
😎 Awesome lists about all kinds of interesting topics
biojava/biojava
:book::microscope::coffee: BioJava is an open-source project dedicated to providing a Java library for processing biological data.