There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sauron
A DrRacket plugin to make it experience like an IDEredux
redux implementation in Gowrite-a-programming-language
How to make a new language(and why we shouldn't?)plt-research
A collection of PLT researchingrocket
Light-weight web framework for Goelz
A polymorphism object-oriented programming languageracket-llvm
racket llvm C-API bindingsviolet
A programming language, half theorem provertyped-nanopass
rebuild nanopass with typed supportsk
k theorem proverracket-tree-sitter
racket binding to tree-sitterecto_timescaledb
Provide extension to write TimescaleDB extended SQL.little-scheme
A little scheme for playing SICPxnix
system setting for all *nix-like systemscheme-to-arm64
A scheme to Arm64 compilercover-badge
A badge generator for coverageeikyo
polymorphsim language with mark system.github
GitHub workflow templateson
A command line tool helps you execute commands base on a command context to avoid duplicate typing.controllable-refinement
A refinement system with controllable predicatereporter
A util toolbox for compiler error reportingextend
An extension provider of llir/llvmkubenet
Tiny Kubernetes to show how its network workdrracket-wakatime
Wakatime for DrRacketkld
A simple x86/elf32 linkerinductive
Inductive constructioncounter
A gen_server counterwebmentions_db
fetch and cache https://webmention.io, produces forester tree via mentionscontrol-spec
unit test framework for idris2formatted-string
Extends racket string to formatted stringstill-compiling
It's still...compilingraytracer
racket raytracercocoa
cocoa in racketdannypsnl
Whatevermath-note
agda-tree
literate programming agda in foresterminic
jsoncard
Convert json from stdin (pipeline) to forester cardarend-template
zig-on-mukava
data-type
data type syntax for typed/racketuseless-math
Useless math here!lsp
language server protocolalgebraicgraph
Lean implementation of Algebraic Graphs with Classheadvariant
zf4
A forth written in zigdumbtt
My dumb coderegister-vm
mathler
terminal version of mathlerLove Open Source and this site? Check out how you can help us