Pinned Repositories
chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
clprosette-miniKanren
CLP(Rosette) on top of miniKanren
company-yasnippet-autoparens
A company-mode script for auto-parenthesis
emacs.d
My Emacs configuration for windows.
eopl
Valuable code and exercises about the book "Essentials of Programming Languages"
experiments
Experiments
faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
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"
Tweet-Segmenter
I segment text into tweet-sized parts with a counter to the end of each segment.
chansey97's Repositories
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
chansey97/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
chansey97/chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
chansey97/qi-circuit
A domain specific language to allow convenient creating stream circuits or signal flow graphs.
chansey97/sicp
Valuable code and exercises about the book "Structure and Interpretation of Computer Programs"
chansey97/experiments
Experiments
chansey97/Tweet-Segmenter
I segment text into tweet-sized parts with a counter to the end of each segment.
chansey97/emacs.d
My Emacs configuration for windows.
chansey97/sc2-gamedata-documentation
Starcraft II GameData Documentation
chansey97/sc2-mined-data
Starcraft II Mined Data
chansey97/Awesome-GPT-Store
Custom GPT Store - A collection of major GPTS available in public
chansey97/cabal
Official upstream development repository for Cabal and cabal-install
chansey97/githubforkprtest
githubforkprtest
chansey97/githubforktest
githubforktest
chansey97/gloss
Painless 2D vector graphics, animations and simulations.
chansey97/HGL
chansey97/hpack-convert
hpack-convert: Convert Cabal manifests into hpack's package.yamls
chansey97/mintty-standalone
A standalone mintty minimal installation for Windows Console CLI (e.g. CMD, Windows PowerShell) without msys2 or cygwin.
chansey97/OrgMode-Analyzer
A GPT to assist users in querying and analyzing Emacs Org Mode files
chansey97/plOpenGL
SWI-Prolog binding for the OpenGL, GLU and GLUT libraries
chansey97/qi
An embeddable flow-oriented language.
chansey97/rg.el
Emacs search tool based on ripgrep
chansey97/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
chansey97/sdl2-gfx
Haskell bindings to SDL2_gfx.
chansey97/SICP-Sage
An academic assistant for 'Structure and Interpretation of Computer Programs' (SICP) study, referencing solutions
chansey97/SpaceInvaders
A Haskell game written in Yampa
chansey97/stack
The Haskell Tool Stack
chansey97/stream-zip
Enhanced library for Racket streams, supporting multi-value zip, unzip, and map.
chansey97/Textmarker
Firefox extension
chansey97/yampa-gloss
A gloss backend for yampa