Linki Tools

ChezScheme

Chez Scheme

ChezScheme-RISCV

DEACTIVATED - PLEASE CHECK https://github.com/LinkiTools/ChezScheme

racket-stylus

A style checker for Racket

racketfest2019-contracts

Preparatory Material for RacketFest

unit-use-case

A use case for units.

places-profile

Racket example of profiling places

racket-power

A cross-platform Racket installer

racket-unit-static-linking

An example of static linking with racket

riscv-buildbot

Buildbot for the RISC-V tools

rust-www

The Rust website

bb-pytest

py.test runner bulid step for buildbot

buildbot

Python-based continuous integration testing framework; your pull requests are more than welcome!

buildit

BuildIt is a simple script to build a set of source controlled projects in a temporary directory.

buildroot

dxr

Powerful search for large codebases

elixir_poster

esbmc

The efficient SMT-based bounded model checker

gcc

Mirror of the GCC git repo at git://gcc.gnu.org/git/gcc.git

gcc-buildbot

A buildbot configuration for the GCC project

gcc-buildbot-worker

A template for the GCC buildbot worker.

jamais-vu

Tool for working with DejaGnu output

mongoengine

A Python Object-Document-Mapper for working with MongoDB

node

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

opentuner

An extensible framework for program autotuning

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

scan-build-crosscheck-docker

Docker image with scan-build with crosscheck support

syntax-warn

Define syntax warnings for Racket code

velociracket

A Racket Racket-like language to write high performance programs

whalesong

Whalesong: Racket to JavaScript compiler

yarpgen

Yet Another Random Program Generator