• A newsletter targeted at Racket fans

    JavaScript BSD-3-Clause Updated Jun 27, 2018
  • Docker images for various Racket versions

    Shell 6 MIT Updated Jun 12, 2018
  • Repository to work on the RISC-V port of ChezScheme

    Scheme Apache-2.0 Updated May 18, 2018
  • Racket example of profiling places

    Racket MIT Updated Mar 28, 2018
  • A buildbot configuration for the GCC project

    Python 1 GPL-3.0 Updated Mar 21, 2018
  • An example of static linking with racket

    Racket MIT Updated Mar 20, 2018
  • A use case for units.

    Racket MIT Updated Mar 15, 2018
  • A style checker for Racket

    GPL-3.0 Updated Mar 12, 2018
  • rosette

    Forked from emina/rosette

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

    Racket 41 Updated Mar 8, 2018
  • racket

    Forked from racket/racket

    The Racket repository

    Racket 405 Updated Feb 21, 2018
  • Tool for working with DejaGnu output

    C 2 GPL-3.0 Updated Jan 29, 2018
  • Buildbot for the RISC-V tools

    Python GPL-3.0 Updated Dec 20, 2017
  • A template for the GCC buildbot worker.

    GPL-3.0 Updated Sep 18, 2017
  • Define syntax warnings for Racket code

    Racket 5 MIT Updated Aug 16, 2017
  • Python-based continuous integration testing framework; your pull requests are more than welcome!

    Python 1,252 GPL-2.0 Updated Aug 9, 2017
  • Mirror of the GCC git repo at git://gcc.gnu.org/git/gcc.git

    C Updated Jul 7, 2017
  • BuildIt is a simple script to build a set of source controlled projects in a temporary directory.

    GPL-3.0 Updated May 5, 2017
  • esbmc

    Forked from esbmc/esbmc

    The efficient SMT-based bounded model checker

    C++ 15 Updated May 1, 2017
  • A Python Object-Document-Mapper for working with MongoDB

    Python 969 MIT Updated Apr 22, 2017
  • py.test runner bulid step for buildbot

    Python 4 GPL-3.0 Updated Mar 28, 2017
  • dxr

    Forked from mozilla/dxr

    Powerful search for large codebases

    Python 193 Updated Feb 24, 2017
  • Elixir 6 Updated Feb 16, 2017
  • yarpgen

    Forked from intel/yarpgen

    Yet Another Random Program Generator

    C++ 9 Updated Dec 14, 2016
  • The Rust website

    HTML 371 Updated Oct 19, 2016
  • An extensible framework for program autotuning

    Python 64 MIT Updated Oct 16, 2016
  • rust

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust 5,068 Updated Sep 27, 2016
  • LuaJIT

    Forked from PPC64/LuaJIT

    LuaJIT v2.1 branch port to PPC64 (see ppc64-port branch) - See the Wiki for current status.

    C 271 Updated Sep 14, 2015
  • The MiBench testsuite, extended for use in general embedded environments

    C 19 Updated Nov 2, 2012
  • 0

    People

    This organization has no public members. You must be a member to see who’s a part of this organization.