Alex Knauth (@AlexKnauth)
  • Stars
    star
    202
  • Global Rank 122,305 (Top 5 %)
  • Followers 81
  • Following 38
  • Registered almost 11 years ago
  • Most used languages
    Racket
    90.6 %
    Rust
    3.8 %
    C#
    1.9 %
    OCaml
    1.9 %
    Haskell
    1.9 %

Top repositories

1

debug

a racket lang-extension for debugging, and a macro for inserting a debug-repl
Racket
35
star
2

measures-with-dimensions

units of measure in typed racket
Racket
8
star
3

music

Some stuff for representing music and music theory
Racket
8
star
4

multi-file-lang

a racket #lang for multiple files in one
Racket
8
star
5

scribble-code-examples

A scribble examples form that works for non-s-expression languages
Racket
7
star
6

colon-kw

a racket lang-extension for writing :kw for #:kw
Racket
6
star
7

afl

a racket lang-extension for rackjure-like anonymous function literals
Racket
6
star
8

toki-pi-kalama-musi

Representing toki pona syllables with musical chords
Racket
6
star
9

quote-bad

A version of quote that helps to rid programs of potential bad uses of quote
Racket
6
star
10

bitwise-exact-rational

Bitwise operations treating exact-rational numbers as bit fields
Racket
5
star
11

lang-file

Functions for dealing with #lang files
Racket
5
star
12

unnwraith

Misusing Shrubbery Notation for Whitespace Lisp
Racket
5
star
13

exact-decimal-lang

a racket lang-extension that reads decimals as exact rationals by default
Racket
5
star
14

struct-like-struct-type-property

Creating struct-type properties with a struct-like interface
Racket
5
star
15

reprovide-lang

a simple racket language for reproviding modules
Racket
5
star
16

match-string

string-append and append as a match patterns
Racket
4
star
17

no-vert-bar-lang

a racket lang-extension that reads `|` as a normal character
Racket
4
star
18

typed-racket-stream

streams for typed racket
Racket
4
star
19

kw-utils

misc kw utils
Racket
4
star
20

hollowknight-autosplit-wasm

A cross-platform autosplitter for Hollow Knight that supports Windows, Mac, and Linux
Rust
4
star
21

my-cond

a version of cond that supports a for/cond-clause form, allowing it to iterate though conditions
Racket
4
star
22

pretty-format

A racket library providing pretty versions of printf, format, etc.
Racket
3
star
23

binary-lambda-calculus-lang

a racket #lang for binary lambda-calculus
Racket
3
star
24

syntax-sloc

counts the number of source lines of code in a racket syntax object
Racket
3
star
25

gnal-lang

a racket #lang that allows relative module paths for reader languages
Racket
3
star
26

seq-no-order

~seq-no-order and ~no-order as pattern-expanders for syntax/parse
Racket
3
star
27

kw-make-struct

Naming struct fields with keywords for constructing and matching
Racket
3
star
28

define-match-spread-out

a racket macro that allows definitions to be spread across a file
Racket
2
star
29

typed-list-struct-refine

Using lists as struct-like values that can cooperate with Refine types
Racket
2
star
30

try-catch-finally

A racket macro for catching exceptions and running teardown operations.
Racket
2
star
31

colon-match

match with colon notation, based on discussion with @soegaard at http://lists.racket-lang.org/users/archive/2013-December/060826.html
Racket
2
star
32

syntax-macro-lang

experimental racket module language for creating languages
Racket
2
star
33

match-pattern-synonym

Recursive pattern synonyms for racket/match
Racket
2
star
34

racket-immutable

operations that return immutable strings, immutable byte-strings, and immutable vectors
Racket
2
star
35

turn-based-game

Interfaces and tools for defining and playing turn-based games
Racket
2
star
36

hygienic-quote-lang

hygienic versions of quote-like racket reader macros
Racket
2
star
37

hygienic-reader-extension

a racket library for adding hygiene to reader extensions
Racket
1
star
38

my-unpossible

Racket
1
star
39

my-flappy-bird

my version of Flappy-Bird in Racket
Racket
1
star
40

asr-unity-mono-offsets-tool

A tool for finding which Unity / Mono offsets work and which don't work
Rust
1
star
41

typed-racket-datatype

Algebraic Datatypes for Typed Racket
Racket
1
star
42

gnal-lambda

#lang gnal λ
Racket
1
star
43

ppx_deriving_tupleable

Converting OCaml record types to tuples and back
OCaml
1
star
44

racket-gui-table

Racket
1
star
45

koch-snowflake

a program to draw some fractals
Racket
1
star
46

SkiploverSpoilerLog

Hollow Knight Rando add-on to create a Skiplover spoiler log
C#
1
star
47

time-zone-map

A map of some time zones
Racket
1
star
48

typed-big-bang

a big-bang-ish thing for typed racket
Racket
1
star
49

syntax-class-or

Combining syntax classes together as multiple variants
Racket
1
star
50

haskell-diagrams-big-bang

Haskell
1
star
51

ugly-app

A Racket library that allows prefix, infix, postfix, and partially applied functions
Racket
1
star
52

sweet-exp-utils

Racket
1
star
53

reconstruct-template

`~list/ctx` pattern and `?list/ctx` template for reconstructing syntax objects for core-form languages
Racket
1
star