cheshire Goto Github PK

antlr3-python-example

Simple calculator in python, using ANTLR V3

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

compiler-rt

Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

cpachecker

CPAchecker, the Configurable Software-Verification Platform

dcintrospect

Small library of visual debugging tools for iOS.

django

Official clone of the Subversion repository.

django-css

django-css is a fork of django_compressor that makes it easy to use CSS compilers with your Django projects. CSS compilers extend CSS syntax to include more powerful features such as variables and nested blocks, and pretty much rock all around.

django-whatever

Unobtrusive test models creation for django

extended_rational

Extended Rational Library for Java

flax

Flax is a neural network library for JAX that is designed for flexibility.

google-spreadsheet-javascript

Read data from google spreadsheets

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

jstree

jquery tree plugin

kinectproject

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-project-20170507

Flat monorepo imported from http://llvm.org/git/ (17 repos)

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

models

Models and examples built with TensorFlow

mongoengine

A Python Object-Document-Mapper for working with MongoDB

numpy

oceans-ai

oceans-ai

onumerical

Numerical Library for OCaml

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

openxla-benchmark

py-wikidiff

PYthon bindings for the wikipedia differ

pyices

Python bindings for Yices SMT solver

simple_simplex

Naive simplex with NumPy in Python

smtinterpol

SMTInterpol interpolating SMT solver

sv-benchmarks

svcomp-datasets

Useful datasets derived from SV-COMP