Pinned Repositories
calcium
Exact real and complex numbers in C
cgal
The public CGAL repository
clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
iRRAM
Exact real arithmetic in C++
libcxx
Mirror of official libcxx git repository located at http://llvm.org/git/libcxx. Updated every five minutes.
llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
mmx-emu
MMX Emulator
modular
Modular arithmetic
queens
N-Queens problem distributed solver, past world record holder for N=21-23.
sylvainpion's Repositories
sylvainpion/cgal
The public CGAL repository
sylvainpion/calcium
Exact real and complex numbers in C
sylvainpion/clang
Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.
sylvainpion/ibex-lib
IBEX is a C++ library for constraint processing over real numbers.
sylvainpion/iRRAM
Exact real arithmetic in C++
sylvainpion/libcxx
Mirror of official libcxx git repository located at http://llvm.org/git/libcxx. Updated every five minutes.
sylvainpion/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
sylvainpion/mmx-emu
MMX Emulator
sylvainpion/modular
Modular arithmetic
sylvainpion/queens
N-Queens problem distributed solver, past world record holder for N=21-23.