Pinned Repositories
ChezScheme
Chez Scheme
ChezScheme-RISCV
DEACTIVATED - PLEASE CHECK https://github.com/LinkiTools/ChezScheme
places-profile
Racket example of profiling places
racket-power
A cross-platform Racket installer
racket-stylus
A style checker for Racket
racket-unit-static-linking
An example of static linking with racket
racketfest2019-contracts
Preparatory Material for RacketFest
riscv-buildbot
Buildbot for the RISC-V tools
rust-www
The Rust website
unit-use-case
A use case for units.
Linki Tools's Repositories
LinkiTools/ChezScheme
Chez Scheme
LinkiTools/ChezScheme-RISCV
DEACTIVATED - PLEASE CHECK https://github.com/LinkiTools/ChezScheme
LinkiTools/racket-stylus
A style checker for Racket
LinkiTools/racketfest2019-contracts
Preparatory Material for RacketFest
LinkiTools/unit-use-case
A use case for units.
LinkiTools/places-profile
Racket example of profiling places
LinkiTools/racket-power
A cross-platform Racket installer
LinkiTools/racket-unit-static-linking
An example of static linking with racket
LinkiTools/riscv-buildbot
Buildbot for the RISC-V tools
LinkiTools/rust-www
The Rust website
LinkiTools/bb-pytest
py.test runner bulid step for buildbot
LinkiTools/buildbot
Python-based continuous integration testing framework; your pull requests are more than welcome!
LinkiTools/buildit
BuildIt is a simple script to build a set of source controlled projects in a temporary directory.
LinkiTools/buildroot
LinkiTools/dxr
Powerful search for large codebases
LinkiTools/elixir_poster
LinkiTools/esbmc
The efficient SMT-based bounded model checker
LinkiTools/gcc
Mirror of the GCC git repo at git://gcc.gnu.org/git/gcc.git
LinkiTools/gcc-buildbot
A buildbot configuration for the GCC project
LinkiTools/gcc-buildbot-worker
A template for the GCC buildbot worker.
LinkiTools/jamais-vu
Tool for working with DejaGnu output
LinkiTools/mongoengine
A Python Object-Document-Mapper for working with MongoDB
LinkiTools/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
LinkiTools/opentuner
An extensible framework for program autotuning
LinkiTools/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
LinkiTools/scan-build-crosscheck-docker
Docker image with scan-build with crosscheck support
LinkiTools/syntax-warn
Define syntax warnings for Racket code
LinkiTools/velociracket
A Racket Racket-like language to write high performance programs
LinkiTools/whalesong
Whalesong: Racket to JavaScript compiler
LinkiTools/yarpgen
Yet Another Random Program Generator