A tool to convert .bib file to a list of reference cards.

A web tool to convert input HTML to scribble/html

A site generator based on a collection of racket/scribble programs.

下面著手描述這個專案的核心想法

violet is a programming language I created for researching dependent type in use. If you want to contribute the project, you will need the below information:

• Project: https://sr.ht/~dannypsnl/violet/
• Ticket tracker: https://sr.ht/~dannypsnl/violet/trackers
• Mailing lists: https://sr.ht/~dannypsnl/violet/lists

A Language Server Protocol implementation for Racket.

LLVM bindings for racket

An effect system integrated with typed/racket.

Converts agda produced *.tree to valid *.tree.

Converts html syntax to forester namespace html syntax.

Formalize Algebraic graphs with class in Lean.

type CountingModel struct {
    rematch.Reducer
    State int

    Increase *rematch.Action `action:"IncreaseImpl"`
}

func (c *CountingModel) IncreaseImpl(s, payload int) int {
    return s + payload
}

func main() {
    c := &CountingModel {
        State: 0,
    }
    store := store.New(c)
    store.Dispatch(c.Increase.With(30))
    store.Dispatch(c.Increase.With(20))

    fmt.Printf("result: %d\n", store.StateOf(c)) // expect: 50
}

import (
    "github.com/dannypsnl/rocket"
)

type User struct {
    Name string `route:"name"`
    Age  uint64 `route:"age"`
}

func hello(u *User) string {
    return "Hello " + u.Name + ", your age is " + strconv.FormatUint(u.Age, 10)
}

// main.go
func main() {
    rocket.Ignite(8080).
        Mount(
            // put `hello` under a path `/user/:name/:age`, where `:name` and `:age` are variant parameters
            rocket.Get("/user/:name/:age", hello),
        ).
        Launch()
}