Search Package Index

18 packages found

 PackageDescriptionBuild 

cover-badge

A badge generator for coverage

This package needs documentation

Tags:
License:
succeeds4

data-type

data type syntax for typed/racket

Docs:

This package needs license metadata

succeeds2

drracket-wakatime

wakatime support on DrRacket

License:
succeeds0

formatted-string

Extends racket string to formatted string

License:
succeeds0

k

k theorem prover

This package needs documentation

Tags:
License:
fails6

k-core

core of k theorem prover

This package needs documentation

Tags:

This package needs license metadata

succeeds4

k-doc

documentation of k theorem prover

Docs:
Tags:

This package needs license metadata

fails6

k-example

examples of using k theorem prover

This package needs documentation

Tags:

This package needs license metadata

fails6

k-lib

libraries of k theorem prover

This package needs documentation

Tags:

This package needs license metadata

fails6

k-test

Test of k

This package needs documentation

This package needs license metadata

fails6

mathler

terminal version of mathler game, and its solver

This package needs documentation

This package needs tags

License:
succeeds4

mini-theme

A minimal DrRacket theme

This package needs license metadata

succeeds2

racket-llvm

racket llvm C-API bindings

Tags:
License:
succeeds; has failing tests5

racket-tree-sitter

racket binding to tree-sitter

License:
succeeds; has failing tests5

raco-watch

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

Tags:

This package needs license metadata

succeeds2

reporter

A util toolbox for compiler error reporting

Docs:

This package needs license metadata

succeeds2

sauron

A DrRacket plugin to make it experience like an IDE

Docs:
License:
succeeds; has failing tests5

syntax-extension

A helper collection of syntax

Tags:
License:
succeeds0