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/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
jamesjer/asciidoc-py
Legacy python processor for AsciiDoc
jamesjer/asl
jamesjer/Ccluster
ccluster is a certified numerical software for clustering the roots of a univariate polynomial which coefficients are any complex numbers
jamesjer/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
jamesjer/cvxopt
CVXOPT -- Python Software for Convex Optimization
jamesjer/fflas-ffpack
FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
jamesjer/javacc
JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.
jamesjer/JTB
jamesjer/JUnitParams
Parameterised tests that don't suck
jamesjer/lablgl
LablGL: an openGL interface for OCaml
jamesjer/libgpuarray
Library to manipulate tensors on the GPU.
jamesjer/license-list-XML
This is the repository for the master files that comprise the SPDX License List
jamesjer/linbox
LinBox - C++ library for exact, high-performance linear algebra
jamesjer/lwt
OCaml promises and concurrent I/O
jamesjer/mlmpfr
OCaml bindings for MPFR
jamesjer/MPSolve
Multiprecision Polynomial Solver
jamesjer/msolve
Library for Polynomial System Solving through Algebraic Methods
jamesjer/ocaml
The core OCaml system: compilers, runtime system, base libraries
jamesjer/ocaml-mysql
OCaml bindings to libmysqlclient
jamesjer/ocaml-zmq
ZeroMQ bindings for OCaml
jamesjer/psmt2-frontend
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
jamesjer/qcheck
QuickCheck inspired property-based testing for OCaml.
jamesjer/Singular
sources for the Singular computer algebra system
jamesjer/sphinxtesters
jamesjer/stdcompat
Stdcompat: compatibility module for OCaml standard library
jamesjer/swig
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
jamesjer/texext
jamesjer/xgap
The XGAP package allows to use graphics in GAP.
jamesjer/z3
The Z3 Theorem Prover