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/argparse
Argument Parser for Modern C++
jamesjer/bigloo
a practical Scheme compiler
jamesjer/float
GAP package for floating-point support in GAP
jamesjer/gmpy
General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)
jamesjer/gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
jamesjer/HiGHS
Linear optimization software
jamesjer/jupyter_kernel_singular
Jupyter wrapper kernel for singular
jamesjer/jupytext
Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts
jamesjer/kors_profiler
Simple embedded profiler
jamesjer/lablgl
LablGL: an openGL interface for OCaml
jamesjer/libpoly
LibPoly is a C library for manipulating polynomials
jamesjer/libsemigroups
C++ library for semigroups and monoids
jamesjer/libsvm
LIBSVM -- A Library for Support Vector Machines
jamesjer/lusol
Matlab interface to LUSOL
jamesjer/lwt
OCaml promises and concurrent I/O
jamesjer/metamath-exe
Metamath program - source code for the Metamath executable
jamesjer/mp
An open-source library for mathematical programming
jamesjer/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
jamesjer/ocaml_intrinsics_kernel
Intrinsics
jamesjer/oneTBB
oneAPI Threading Building Blocks (oneTBB)
jamesjer/packages-cpp
The SWI-Prolog C++ interface
jamesjer/packages-semweb
The SWI-Prolog RDF store
jamesjer/packages-swipy
Python interface for SWI-Prolog
jamesjer/papilo
Parallel Presolve for Integer and Linear Optimization
jamesjer/pygsl
jamesjer/repoze.sphinx.autointerface
Auto-generate Sphinx API docs from Zope interfaces
jamesjer/set.mm
Metamath source file for logic and set theory
jamesjer/sympy
A computer algebra system written in pure Python
jamesjer/xgap
The XGAP package allows to use graphics in GAP.
jamesjer/zope.exceptions
exceptions and implementations which are general purpose