Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
argparse
Argument Parser for Modern C++
asciidoc-py
Legacy python processor for AsciiDoc
asl
bigloo
a practical Scheme compiler
caml2html
Syntax highlighter for OCaml
carat
Ccluster
ccluster is a certified numerical software for clustering the roots of a univariate polynomial which coefficients are any complex numbers
check
A unit testing framework for C
jamesjer's Repositories
jamesjer/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
jamesjer/caml2html
Syntax highlighter for OCaml
jamesjer/carat
jamesjer/check
A unit testing framework for C
jamesjer/FlintQS
Quadratic Sieve
jamesjer/gala
graph abstraction with low-level access (C++)
jamesjer/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
jamesjer/gnofract4d
A fractal generation program for linux
jamesjer/javasysmon
Manage OS processes and get cpu and memory stats cross-platform in Java.
jamesjer/jupyterviz
Visualization tools for Jupyter Notebooks using GAP kernels
jamesjer/LFSC
LFSC Proof Checker
jamesjer/mathicgb
Compute (signature) Groebner bases using the fast datastructures from mathic.
jamesjer/Osi
Open Solver Interface
jamesjer/polymaking
Interfacing the geometry software polymake
jamesjer/selinux-policy-contrib
Fedora Policy Contributions
jamesjer/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
jamesjer/string-template-maven-plugin
Execute StringTemplate files during your Maven build.
jamesjer/xclip
Command line interface to the X11 clipboard