chansey97

clprosette-miniKanren

CLP(Rosette) on top of miniKanren

faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

chr_book

Valuable code and exercises about the book "Constraint Handling Rules (2009)" .

qi-circuit

A domain specific language to allow convenient creating stream circuits or signal flow graphs.

sicp

Valuable code and exercises about the book "Structure and Interpretation of Computer Programs"

experiments

Experiments

Tweet-Segmenter

I segment text into tweet-sized parts with a counter to the end of each segment.

emacs.d

My Emacs configuration for windows.

sc2-gamedata-documentation

Starcraft II GameData Documentation

sc2-mined-data

Starcraft II Mined Data

Awesome-GPT-Store

Custom GPT Store - A collection of major GPTS available in public

cabal

Official upstream development repository for Cabal and cabal-install

githubforkprtest

githubforkprtest

githubforktest

githubforktest

gloss

Painless 2D vector graphics, animations and simulations.

HGL

hpack-convert

hpack-convert: Convert Cabal manifests into hpack's package.yamls

mintty-standalone

A standalone mintty minimal installation for Windows Console CLI (e.g. CMD, Windows PowerShell) without msys2 or cygwin.

OrgMode-Analyzer

A GPT to assist users in querying and analyzing Emacs Org Mode files

plOpenGL

SWI-Prolog binding for the OpenGL, GLU and GLUT libraries

qi

An embeddable flow-oriented language.

rg.el

Emacs search tool based on ripgrep

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

sdl2-gfx

Haskell bindings to SDL2_gfx.

SICP-Sage

An academic assistant for 'Structure and Interpretation of Computer Programs' (SICP) study, referencing solutions

SpaceInvaders

A Haskell game written in Yampa

stack

The Haskell Tool Stack

stream-zip

Enhanced library for Racket streams, supporting multi-value zip, unzip, and map.

Textmarker

Firefox extension

yampa-gloss

A gloss backend for yampa