Skip to content
View comeillfoo's full-sized avatar
💾
flipped vending machine
💾
flipped vending machine

Block or report comeillfoo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
13 stars written in Racket
Clear filter

The Racket repository

Racket 4,845 665 Updated Dec 26, 2024

A Racket refactoring engine

Racket 59 10 Updated Dec 24, 2024

A linter for Racket.

Racket 45 4 Updated Dec 19, 2024

cli-command template

Racket 15 1 Updated Sep 18, 2024

Analysis of Racket code base

Racket 14 Updated Aug 27, 2020

CouchDB API for Racket

Racket 3 3 Updated Mar 11, 2012
Racket 3 Updated Nov 7, 2022
Racket 2 Updated Feb 5, 2023
Racket 2 Updated Nov 7, 2022
Racket 1 Updated Jan 22, 2023

An attempt to implement a formal verification tool for network protocols specification (mostly looking for vulnerabilities).

Racket 1 Updated Jul 27, 2024
Racket 1 Updated Sep 9, 2022