jamesjer Goto Github PK

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

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

cvxopt

CVXOPT -- Python Software for Convex Optimization

fflas-ffpack

FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package

flintqs

Quadratic Sieve

float

GAP package for floating-point support in GAP

gala

graph abstraction with low-level access (C++)

gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

gmpy

General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)

gnofract4d

A fractal generation program for linux

gsl-ocaml

OCaml bindings to the GSL (GNU Scientific Library).

highs

Linear optimization software

javacc

JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.

javasysmon

Manage OS processes and get cpu and memory stats cross-platform in Java.

jtb

junitparams

Parameterised tests that don't suck

jupyter_kernel_singular

Jupyter wrapper kernel for singular

jupyterviz

Visualization tools for Jupyter Notebooks using GAP kernels

jupytext

Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts

kors_profiler

Simple embedded profiler

lablgl

LablGL: an openGL interface for OCaml