Search Package Index

15 packages found

 PackageDescriptionBuild 

data-type

data type syntax for typed/racket

Docs:
succeeds0

drracket-wakatime

wakatime support on DrRacket

succeeds0

formatted-string

Extends racket string to formatted string

succeeds0

New

k

k theorem prover

This package needs documentation

Tags:
fails5

New

k-core

core of k theorem prover

This package needs documentation

Tags:
succeeds3

New

k-doc

documentation of k theorem prover

Docs:
Tags:
fails5

New

k-example

examples of using k theorem prover

This package needs documentation

Tags:
fails5

New

k-lib

libraries of k theorem prover

This package needs documentation

Tags:
fails5

New

k-test

Test of k

This package needs documentation

fails5

mathler

terminal version of mathler game, and its solver

This package needs documentation

This package needs tags

succeeds3

mini-theme

A minimal DrRacket theme

succeeds0

racket-llvm

racket llvm C-API bindings

Tags:
fails5

raco-watch

An extension of raco command that watching files and re-executing subcommand

Tags:
succeeds0

reporter

A util toolbox for compiler error reporting

Docs:
succeeds0

sauron

A DrRacket plugin to make it experience like an IDE

Docs:
succeeds0