A Language Server Protocol implementation for Racket.

1. implement cross-file jump to definition. #59
2. auto formatting: remove trailing whitespace. #61
3. implement inlay hints. #84
4. add diagnostic and code action for unused variables. #87
5. support notification workspace/didChangeWorkspaceFolders. #140
6. support notification workspace/didRenameFiles. #144
7. support installed Racket languages (e.g. Rhombus). #150
8. support notification workspace/didChangeWatchedFiles. #151
9. support configuration request workspace/configuration. #156
10. fix server configuration updation #164
11. Extract server concept to remove complicated IO interaction #173
12. Respect client capabilities #182
13. Record rootUri and rootPath in initialize params as workspace folders #184
14. Find workspace references (limits to opened files) #160
15. reduce costs of service workspace-references #195
16. sticky scroll for #lang racket #215
17. enable inlay hints for typed/racket #227
18. Hint struct fields at constructor calls #228

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

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

#lang racket/base
(require scribble/html)
(provide site)

(define site
  (hash 'assets '("assets" "slide-assets" "images")
        'description "……"
        'domain "dannypsnl.me/"
        'mode "dev"
        'title "Lîm Tsú-thuàn"
        'head (list (link 'rel: "me" 'href: "https://g0v.social/@dannypsnl")
                    (meta 'name: "fediverse:creator" 'content: "@dannypsnl@g0v.social")
                    (link 'rel: "webmention" 'href: "https://webmention.io/dannypsnl.me/webmention")
                    (link 'rel: "alternate" 'type: "application/rss+xml"
                          'title: "Lîm Tsú-thuàn" 'href: "/rss.xml"))))

(define (remove-content-p source-path)
  (define segs (map path->string (explode-path source-path)))
  (and (equal? "content" (first segs))
       (equal? "private" (second segs))))

(define site
  (hash ; ...
        'remove-content-if remove-content-p))

'header (nav 'class: "site-nav"
             (a 'href: "/" "my site")
             (a 'href: "/about/" "about"))

A jj GUI client.

The best coding experience for Racket in VS Code.

1. Open selection in macro stepper. #148

violet is a small dependent type programming language.

The little prover use shrubbery notation.

A PLT Redex formalization of the Verse Calculus, the core calculus for functional logic programming from The Verse Calculus: a Core Calculus for Deterministic Functional Logic Programming. It defines the grammar, evaluation contexts, and rewrite rules.

A DrRacket plugin to make it experience like an IDE

LLVM bindings for racket

1. Literate forester
   1. #7403
   2. #7886
   3. #8290, hence agda-tree is no needed any more.

agda-mode on VSCode

1. Provide hover text to hint about how to type a symbol. #258

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

A web tool to convert input HTML to scribble/html

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.

m := ir.NewModule()

globalG := m.NewGlobalDef("g", constant.NewInt(types.I32, 2))

funcAdd := m.NewFunc("add", types.I32,
        ir.NewParam("x", types.I32),
        ir.NewParam("y", types.I32),
)
ab := funcAdd.NewBlock("")
ab.NewRet(ab.NewAdd(funcAdd.Params[0], funcAdd.Params[1]))

funcMain := m.NewFunc(
        "main",
        types.I32,
)  // omit parameters
mb := funcMain.NewBlock("") // llir/llvm would give correct default name for block without name
mb.NewRet(mb.NewCall(funcAdd, constant.NewInt(types.I32, 1), mb.NewLoad(types.I32, globalG)))

println(m.String())

Generated IR:

@g = global i32 2

define i32 @add(i32 %x, i32 %y) {
; :0
	%1 = add i32 %x, %y
	ret i32 %1
}

define i32 @main() {
; :0
	%1 = load i32, i32* @g
	%2 = call i32 @add(i32 1, i32 %1)
	ret i32 %2
}

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()
}