502. guix-nonfreeUnofficial collection of packages that are not going to be accepted in to guix
505. hacktHierarchical Asynchronous Circuit Kompiler Toolkit
506. spsPre-Scheme to (GNU) C compiler written in Pre-Scheme
508. vericertA formally verified high-level synthesis tool based on CompCert and written in Coq.
523. hphrHalophile Router (a VyOS-based, SaltStack-automated, NetBox-configured router for small provider networks)
526. ypsilonThe implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
536. corvosCode for CorvOS - A Linux distro for schools
541. rise-of-legionsRise of Legions is a hybrid of MOBA, tower defense and deckbuilding - with fast-paced, easy-to-pickup tug-of-war strategy. Play solo or bring a friend for co-op or 2v2, collect cards, build your deck and crush your enemies.
543. sicpSolutions to Structure and Interpretation of Computer Programs (SICP)
544. coLABurbisUrban project for an autonomous territory in Brasil / Projeto urbanístico para um território autônomo no Brasil
545. my-linux-devboxVagrant / Salt configuration with Ubuntu to work on projects related to the scipy stack under Python 3 and Python 2
550. sicpYet another scheme to fathom the Structure and Interpretation of Computer Programs.