Search Package Index

frog

• racketλ61106b0

Static blog generator application. (No longer under active development.)

This package needs license metadata

froglet

• tim_nelsonλf959b50
• typesλ08a2fb0

A tiny model-finding language with Alloy-adjacent syntax. Teaching language for forge.

This package needs documentation

This package needs license metadata

scribble-frog-helper

• yanyingwang1λ637c35e

scribble helper functions especially for writing blogs with frog

This package needs license metadata

forge

• tim_nelsonλf959b50

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

racket-lang-org

• samthλ5dd761c
• mflattλe2040ba
• eliλ7384b5f

Sources for http://racket-lang.org

This package needs documentation

This package needs tags

This package needs license metadata