Skip to content

@LinkiTools Linki Tools

Change the repository type filter

All

    Repositories list

    33 repositories

    • scan-build-crosscheck-docker

      Public archive
      Docker image with scan-build with crosscheck support
      dockerfilellvmstatic-analysis
      Dockerfile
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Apr 27, 2020Apr 27, 2020

    • riscv-buildbot

      Public archive
      Buildbot for the RISC-V tools
      Python
      •
      GNU General Public License v3.0
      •0•0•0•3•Updated Oct 18, 2019Oct 18, 2019

    • gcc-buildbot

      Public archive
      A buildbot configuration for the GCC project
      pythontestingcigccbuildbot-configurationgcc-buildbot
      Python
      •
      GNU General Public License v3.0
      •0•0•10•3•Updated Oct 18, 2019Oct 18, 2019

    • ChezScheme

      Public archive
      Chez Scheme
      Scheme
      •
      Apache License 2.0
      •986•9•0•0•Updated Sep 26, 2019Sep 26, 2019

    • buildroot

      Public archive
      Makefile
      •
      Other
      •0•0•0•0•Updated Jun 21, 2019Jun 21, 2019

    • racketfest2019-contracts

      Public
      Preparatory Material for RacketFest
      tutorialracketcontracts
      Racket
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•1•0•0•Updated Mar 22, 2019Mar 22, 2019

    • ChezScheme-RISCV

      Public archive
      DEACTIVATED - PLEASE CHECK https://github.com/LinkiTools/ChezScheme
      riscvracket-langprogramming-languagescheme-languagechezscheme
      Scheme
      •
      Apache License 2.0
      •1•8•0•0•Updated Feb 14, 2019Feb 14, 2019

    • racket-power

      Public
      A cross-platform Racket installer
      racketinstaller
      MIT License
      •0•0•0•0•Updated Dec 8, 2018Dec 8, 2018

    • velociracket

      Public archive
      A Racket Racket-like language to write high performance programs
      clibraryrackethigh-performanceffiracket-lang
      MIT License
      •0•0•0•0•Updated Dec 2, 2018Dec 2, 2018

    • node

      Public
      Node.js JavaScript runtime ✨🐢🚀✨
      JavaScript
      •
      Other
      •30k•0•0•0•Updated Nov 6, 2018Nov 6, 2018

    • places-profile

      Public
      Racket example of profiling places
      racketplacesprofiling
      Racket
      •
      MIT License
      •0•0•0•0•Updated Mar 28, 2018Mar 28, 2018

    • racket-unit-static-linking

      Public
      An example of static linking with racket
      Racket
      •
      MIT License
      •0•0•0•0•Updated Mar 20, 2018Mar 20, 2018

    • unit-use-case

      Public
      A use case for units.
      Racket
      •
      MIT License
      •0•1•0•0•Updated Mar 15, 2018Mar 15, 2018

    • racket-stylus

      Public
      A style checker for Racket
      styleguideracketstatic-code-analysisstyle-guidecheckerlinter
      GNU General Public License v3.0
      •0•1•0•0•Updated Mar 12, 2018Mar 12, 2018

    • rosette

      Public
      The Rosette solver-aided host language, sample solver-aided DSLs, and demos
      Racket
      •
      Other
      •75•0•0•0•Updated Mar 8, 2018Mar 8, 2018

    • jamais-vu

      Public
      Tool for working with DejaGnu output
      C
      •
      GNU General Public License v3.0
      •2•0•0•0•Updated Jan 29, 2018Jan 29, 2018

    • gcc-buildbot-worker

      Public
      A template for the GCC buildbot worker.
      testingcigccbuildbot-configurationgcc-buildbot
      GNU General Public License v3.0
      •0•0•0•0•Updated Sep 18, 2017Sep 18, 2017

    • syntax-warn

      Public
      Define syntax warnings for Racket code
      Racket
      •
      MIT License
      •5•0•0•0•Updated Aug 16, 2017Aug 16, 2017

    • buildbot

      Public
      Python-based continuous integration testing framework; your pull requests are more than welcome!
      Python
      •
      GNU General Public License v2.0
      •1.6k•0•0•0•Updated Aug 9, 2017Aug 9, 2017

    • gcc

      Public archive
      Mirror of the GCC git repo at git://gcc.gnu.org/git/gcc.git
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jul 7, 2017Jul 7, 2017

    • whalesong

      Public
      Whalesong: Racket to JavaScript compiler
      Racket
      •30•0•0•0•Updated May 14, 2017May 14, 2017

    • buildit

      Public
      BuildIt is a simple script to build a set of source controlled projects in a temporary directory.
      GNU General Public License v3.0
      •0•0•0•0•Updated May 5, 2017May 5, 2017

    • esbmc

      Public
      The efficient SMT-based bounded model checker
      C++
      •101•0•0•0•Updated May 1, 2017May 1, 2017

    • mongoengine

      Public
      A Python Object-Document-Mapper for working with MongoDB
      Python
      •
      MIT License
      •1.2k•0•0•0•Updated Apr 22, 2017Apr 22, 2017

    • bb-pytest

      Public
      py.test runner bulid step for buildbot
      Python
      •
      GNU General Public License v3.0
      •6•0•0•0•Updated Mar 28, 2017Mar 28, 2017

    • dxr

      Public
      Powerful search for large codebases
      Python
      •
      Other
      •203•0•0•0•Updated Feb 24, 2017Feb 24, 2017

    • elixir_poster

      Public
      Elixir
      •7•0•0•0•Updated Feb 16, 2017Feb 16, 2017

    • yarpgen

      Public
      Yet Another Random Program Generator
      C++
      •
      Other
      •55•0•0•0•Updated Dec 14, 2016Dec 14, 2016

    • rust-www

      Public
      The Rust website
      HTML
      •
      Apache License 2.0
      •340•0•0•0•Updated Oct 19, 2016Oct 19, 2016

    • opentuner

      Public
      An extensible framework for program autotuning
      Python
      •
      MIT License
      •121•0•0•0•Updated Oct 16, 2016Oct 16, 2016