Displaying 1 to 20 from 32 results

racket - The Racket repository

  •    Racket

This is the source code for the core of Racket. See "INSTALL.txt" for full information on building Racket. To build the full Racket distribution from this repository, run make in the top-level directory. To build minimal Racket, run make base.

frog - Frog is a static web site generator implemented in Racket, targeting Bootstrap and able to use Pygments

  •    Racket

Frog image by @Goug8888, used under Creative Commons license Attribution-NonCommercial-ShareAlike 2.0 Generic. Frog is a static web site generator written in Racket.

racket-mode - GNU Emacs major modes for Racket: Edit and REPL.

  •    Emacs

This provides a major mode to edit Racket source files, as well as a major mode for a Racket REPL. The edit/run experience is similar to DrRacket. Focus on Racket.

fractalide - Reusable Reproducible Composable Software

  •    Racket

Fractalide is a free and open source service programming platform using dataflow graphs. Graph nodes represent computations, while graph edges represent typed data (may also describe tensors) communicated between them. This flexible architecture can be applied to many different computation problems, initially the focus will be Microservices to be expanded out into the Internet of Things. Fractalide is in the same vein as the NSA’s Niagrafiles (now known as Apache-NiFi) or Google’s TensorFlow but stripped of all Java, Python and GUI bloat. Fractalide faces big corporate players like Ab Initio, a company that charges a lot of money for dataflow solutions.




herbie - Synthesis for floating-point expressions

  •    Racket

Herbie synthesizes floating-point programs from real-number programs, automatically handling simple numerical instabilities. Visit our website for tutorials, documentation, and an online demo.Herbie can improve the accuracy of many real-world programs, and is used by scientists in many disciplines. It has lead to two patches (for complex square roots and trigonometric functions), in math.js an open-source mathematics library. Herbie has semi-regular releases twice a year, maintains backwards compatibility, and uses standardized formats.

memsynth - An advanced automated reasoning tool for memory consistency model specifications.

  •    Alloy

MemSynth is a system for automatic synthesis of axiomatic memory model specifications from litmus tests.Read more about MemSynth in our PLDI 2017 paper.

overscan - Live streaming companion

  •    Racket

A study in live video broadcasting with the Racket programming language. Originally, the end-goal was to build a toolkit like that found in StreamPro or Streamlabs (née TwitchAlerts) but using a Racket DSL for on-the-fly compositing and graphics.


DeepRacket - A simple starting point for doing deep learning in Racket

  •    Racket

This package provides a set of interfaces for doing deep learning in the Racket (a Scheme/Lisp dialect) programming language. The project is still in the growing pains phase, so please excuse the mess.

urlang - Urlang is JavaScript with a sane syntax

  •    Racket

Urlang is a language designed to allow straightforward translation to JavaScript. Think of Urlang as JavaScript with sane syntax and JavaScript semantics. JavaScript in this context is short for ECMAScript 5 in strict mode. Even though the syntax of Urlang is Racket-like, remember that the semantics is standard JavaScript. This means in particular that tail calls build context.

racketscript - Racket to JavaScript Compiler

  •    Racket

RacketScript is an experimental lightweight Racket to JavaScript compiler. The generated code is ES6, which can be translated to ES5 using Babel or Traceur. RacketScript aims to leverage both JavaScript and Racket's ecosystem, and make interoperability between them clean and smooth. RacketScript takes in Racket source files, uses Racket's macro expander to produce Fully Expanded Programs, and then compile these fully expanded programs to JavaScript. RacketScript doesn't support Racket features which are expensive, for example proper tail calls and continuations.

fear-of-macros - A practical guide to Racket macros

  •    Racket

This is a rough draft of a practical guide to Racket macros. I started to write it not because I understand macros very well, but because I don't.

rackjure - Provide a few Clojure-inspired ideas in Racket

  •    Racket

Provide a few Clojure-inspired ideas in Racket. Where Racket and Clojure conflict, prefer Racket.

travis-racket - Use Travis with Racket

  •    Shell

Experimenting with using Travis CI for a Racket project. Until Travis CI gets built-in support for Racket, we can use the before_install clause of .travis.yml to download and run the Racket installer.

mediKanren - Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing

  •    Scheme

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing. ./code/study-imatinib.rkt contains the most iteresting examples currently.

ivy - Ivy, the Taggable Image Viewer

  •    Racket

Ivy is an image viewer that allows the user to set or remove tags that are tracked solely by the application. You may change the DESTDIR variable to install ivy to an arbitrary location - one that may not require super user privileges.

vrod - Vim built-in Racket Omnicompletion and Documentation

  •    VimL

This plugin programmatically turns Racket reference docs into Vim help. That’s kinda’ weird, but works out well. Racket doesn’t have help built into its repl or source code, so the niceties of Clojure inline docs are not very possible without things like this plugin. Use K while on any Racket function to access its reference help documentation through Vim’s help system.

typed-racket - Typed Racket

  •    Racket

Typed Racket is Racket's gradually-typed sister language which lets you add statically-checked type annotations to your programs. For more information, see the Typed Racket Guide. Typed Racket is bundled in the default Racket distribution, which you can download from Racket's download page.