Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by AlexKnauth

A curated list of projects in awesome lists by AlexKnauth .

https://github.com/alexknauth/debug

a racket lang-extension for debugging, and a macro for inserting a debug-repl

debug racket

Last synced: 03 Dec 2024

https://github.com/AlexKnauth/debug

a racket lang-extension for debugging, and a macro for inserting a debug-repl

debug racket

Last synced: 18 Nov 2024

https://github.com/alexknauth/multi-file-lang

a racket #lang for multiple files in one

Last synced: 03 Dec 2024

https://github.com/alexknauth/music

Some stuff for representing music and music theory

Last synced: 03 Dec 2024

https://github.com/alexknauth/scribble-code-examples

A scribble examples form that works for non-s-expression languages

documentation-tool racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/colon-kw

a racket lang-extension for writing :kw for #:kw

Last synced: 03 Dec 2024

https://github.com/alexknauth/quote-bad

A version of quote that helps to rid programs of potential bad uses of quote

Last synced: 03 Dec 2024

https://github.com/alexknauth/toki-pi-kalama-musi

Representing toki pona syllables with musical chords

Last synced: 03 Dec 2024

https://github.com/alexknauth/afl

a racket lang-extension for rackjure-like anonymous function literals

Last synced: 03 Dec 2024

https://github.com/alexknauth/exact-decimal-lang

a racket lang-extension that reads decimals as exact rationals by default

racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/unnwraith

Misusing Shrubbery Notation for Whitespace Lisp

Last synced: 03 Dec 2024

https://github.com/alexknauth/struct-like-struct-type-property

Creating struct-type properties with a struct-like interface

Last synced: 03 Dec 2024

https://github.com/alexknauth/lang-file

Functions for dealing with #lang files

Last synced: 03 Dec 2024

https://github.com/alexknauth/bitwise-exact-rational

Bitwise operations treating exact-rational numbers as bit fields

Last synced: 03 Dec 2024

https://github.com/alexknauth/reprovide-lang

a simple racket language for reproviding modules

Last synced: 03 Dec 2024

https://github.com/alexknauth/hollowknight-autosplit-wasm

A cross-platform autosplitter for Hollow Knight that supports Windows, Mac, and Linux

autosplitter hitcounter hollowknight livesplit

Last synced: 15 Oct 2024

https://github.com/alexknauth/kw-utils

misc kw utils

Last synced: 03 Dec 2024

https://github.com/alexknauth/match-string

string-append and append as a match patterns

Last synced: 03 Dec 2024

https://github.com/alexknauth/my-cond

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

Last synced: 03 Dec 2024

https://github.com/alexknauth/no-vert-bar-lang

a racket lang-extension that reads `|` as a normal character

Last synced: 03 Dec 2024

https://github.com/alexknauth/typed-racket-stream

streams for typed racket

Last synced: 03 Dec 2024

https://github.com/AlexKnauth/my-cond

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

Last synced: 27 Nov 2024

https://github.com/alexknauth/gnal-lang

a racket #lang that allows relative module paths for reader languages

Last synced: 03 Dec 2024

https://github.com/alexknauth/seq-no-order

~seq-no-order and ~no-order as pattern-expanders for syntax/parse

racket racket-syntax-parse

Last synced: 03 Dec 2024

https://github.com/alexknauth/kw-make-struct

Naming struct fields with keywords for constructing and matching

Last synced: 03 Dec 2024

https://github.com/alexknauth/binary-lambda-calculus-lang

a racket #lang for binary lambda-calculus

Last synced: 03 Dec 2024

https://github.com/alexknauth/syntax-sloc

counts the number of source lines of code in a racket syntax object

Last synced: 03 Dec 2024

https://github.com/alexknauth/pretty-format

A racket library providing pretty versions of printf, format, etc.

Last synced: 03 Dec 2024

https://github.com/alexknauth/define-match-spread-out

a racket macro that allows definitions to be spread across a file

Last synced: 03 Dec 2024

https://github.com/alexknauth/syntax-macro-lang

experimental racket module language for creating languages

Last synced: 03 Dec 2024

https://github.com/alexknauth/colon-match

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

Last synced: 03 Dec 2024

https://github.com/alexknauth/match-pattern-synonym

Recursive pattern synonyms for racket/match

Last synced: 03 Dec 2024

https://github.com/alexknauth/racket-immutable

operations that return immutable strings, immutable byte-strings, and immutable vectors

Last synced: 03 Dec 2024

https://github.com/alexknauth/typed-list-struct-refine

Using lists as struct-like values that can cooperate with Refine types

Last synced: 03 Dec 2024

https://github.com/alexknauth/turn-based-game

Interfaces and tools for defining and playing turn-based games

Last synced: 03 Dec 2024

https://github.com/alexknauth/hygienic-quote-lang

hygienic versions of quote-like racket reader macros

Last synced: 03 Dec 2024

https://github.com/alexknauth/try-catch-finally

A racket macro for catching exceptions and running teardown operations.

Last synced: 03 Dec 2024

https://github.com/alexknauth/typed-racket-datatype

Algebraic Datatypes for Typed Racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/syntax-class-or

Combining syntax classes together as multiple variants

Last synced: 03 Dec 2024

https://github.com/alexknauth/hygienic-reader-extension

a racket library for adding hygiene to reader extensions

Last synced: 03 Dec 2024

https://github.com/alexknauth/koch-snowflake

a program to draw some fractals

Last synced: 03 Dec 2024

https://github.com/alexknauth/reconstruct-template

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

Last synced: 03 Dec 2024

https://github.com/alexknauth/skiploverspoilerlog

Hollow Knight Rando add-on to create a Skiplover spoiler log

Last synced: 03 Dec 2024

https://github.com/alexknauth/asr-unity-mono-offsets-tool

A tool for finding which Unity / Mono offsets work and which don't work

Last synced: 03 Dec 2024

https://github.com/alexknauth/gnal-lambda

#lang gnal λ

lambda-calculus

Last synced: 03 Dec 2024

https://github.com/alexknauth/my-flappy-bird

my version of Flappy-Bird in Racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/ppx_deriving_tupleable

Converting OCaml record types to tuples and back

Last synced: 03 Dec 2024

https://github.com/alexknauth/time-zone-map

A map of some time zones

Last synced: 03 Dec 2024

https://github.com/alexknauth/ugly-app

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

Last synced: 03 Dec 2024

https://github.com/alexknauth/typed-big-bang

a big-bang-ish thing for typed racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/my-object

my version of objects, inspired by "things" from jarcane/heresy

Last synced: 03 Dec 2024

https://github.com/alexknauth/ocelot

Last synced: 03 Dec 2024

https://github.com/alexknauth/quantity-formula

Finding paths through multiple formulas to find quantities

Last synced: 03 Dec 2024

https://github.com/alexknauth/let-values-call-with-values

a generalization of let-values with "rest-arguments"

Last synced: 03 Dec 2024

https://github.com/alexknauth/racket-haskellish

a racket language inspired by Haskell

Last synced: 03 Dec 2024

https://github.com/alexknauth/tic-tac-toe

a simple unbeatable tic-tac-toe player

Last synced: 03 Dec 2024

https://github.com/alexknauth/delegate-sbcl-lang

Racket #langs that delegate to sbcl, acl2, and acl2s

Last synced: 03 Dec 2024

https://github.com/alexknauth/dotmethod

obj.method(x) in racket (generalized)

Last synced: 03 Dec 2024

https://github.com/alexknauth/song-time-tags-example

Examples of using `#lang song-time-tags` to plot recurring phrases/motifs in musicals

Last synced: 03 Dec 2024

https://github.com/alexknauth/testing-utils

equal?/within, check-within, and source locations for check macros

Last synced: 03 Dec 2024

https://github.com/alexknauth/asr-unity-mono-mac-testing

Exploring how an ASR Unity / Mono library might try to support Mac

Last synced: 03 Dec 2024

https://github.com/alexknauth/txexpr-stxparse

syntax-parse patterns for parsing Tagged X-expressions

Last synced: 03 Dec 2024

https://github.com/alexknauth/coq-about-program-fixpoint

Playing around with how to reason about functions defined with `Program Fixpoint` and `Equations` in Coq

Last synced: 03 Dec 2024

https://github.com/alexknauth/with-contract

let/contract, for/fold/contract, etc.

Last synced: 03 Dec 2024

https://github.com/alexknauth/number-base-convert

Converting between numbers and string representations in different bases

Last synced: 03 Dec 2024

https://github.com/alexknauth/turing-machine-stepper

a 2htdp world program that steps through Turing machines

Last synced: 03 Dec 2024

https://github.com/alexknauth/weekly-schedule

a rough tool for generating images of weekly schedules

Last synced: 03 Dec 2024

https://github.com/alexknauth/musicxml

Some stuff for reading, writing, and processing musicxml

Last synced: 03 Dec 2024

https://github.com/alexknauth/hymn-tune-index

Producing an index to look up hymn tunes by scale-degrees

Last synced: 03 Dec 2024

https://github.com/alexknauth/named-arguments

a different syntax for specifying named arguments in Racket

Last synced: 03 Dec 2024

https://github.com/alexknauth/2pi-angles

a program to draw a unit circle with angles labeled in terms of 2pi

Last synced: 03 Dec 2024

https://github.com/alexknauth/musescore-guitar-open-lines

An experiment to generate guitar-open-lines notation from MuseScore files

Last synced: 03 Dec 2024

https://github.com/alexknauth/my-plai

Last synced: 03 Dec 2024

https://github.com/alexknauth/treelist-util

Treelist operations matching racket/list that aren't in racket/treelist

Last synced: 03 Dec 2024

https://github.com/alexknauth/inexact-number-lang

A lang-extension that reads every number as inexact

Last synced: 03 Dec 2024

https://github.com/alexknauth/connect-four

a weak connect-four player that looks 1 or 2 moves ahead

Last synced: 03 Dec 2024

https://github.com/alexknauth/debug-scope-letters

Showing scopes with letters instead of multi-digit numbers

Last synced: 03 Dec 2024

https://github.com/alexknauth/acl2s-scribblings

A scribble document for beginner mode of ACL2s

Last synced: 03 Dec 2024

https://github.com/alexknauth/cond-strict

cond: what it should have been

Last synced: 03 Dec 2024

https://github.com/alexknauth/hash-lambda

using hash-tables for rest-arguments that include keyword-arguments

Last synced: 03 Dec 2024

https://github.com/alexknauth/infix-macro

a macro for infix math operations

Last synced: 03 Dec 2024

https://github.com/alexknauth/paren-shape

Deprecated. Use lexi-lambda/syntax-classes instead.

Last synced: 03 Dec 2024

https://github.com/alexknauth/postfix-dot-notation

a racket lang-extension for postfix dot notation

Last synced: 03 Dec 2024

https://github.com/alexknauth/mutable-match-lambda

extendable mutable functions

Last synced: 03 Dec 2024