dannypsnl

redux

redux implementation in Go

rocket

Light-weight web framework for Go

racket-llvm

racket llvm C-API bindings

k

k theorem prover

typed-nanopass

rebuild nanopass with typed supports

racket-tree-sitter

racket binding to tree-sitter

ecto_timescaledb

Provide extension to write TimescaleDB extended SQL.

cover-badge

A badge generator for coverage

eikyo

polymorphsim language with mark system

scheme-to-arm64

A scheme to Arm64 compiler

avr-arduino-zig

Arduino using Zig!

controllable-refinement

A refinement system with controllable predicate

extend

An extension provider of llir/llvm

reporter

A util toolbox for compiler error reporting

formatted-string

Extends racket string to formatted string

raytracer

racket raytracer

cocoa

cocoa in racket

still-compiling

It's still...compiling

data-type

data type syntax for typed/racket

register-vm

zf4

A forth written in zig

zig-on-mukava

amcr

abstract machine for classical realizability

arend

classical-logic

classical logic

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

MachineLearning.jl

Machine Learning

mathler

terminal version of mathler

qmk-keyboards

My keyboards' qmk configuration

SteadyState.jl