chansey97 Goto Github PK

7gui

the 7 gui project

alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

awesome-gpt-store

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

barliman

Prototype smart text editor

bibliography

Bibliography of Scheme research (readscheme.org and beyond)

bilibili-backup

cabal

Official upstream development repository for Cabal and cabal-install

calysto_scheme

A Scheme kernel for Jupyter that can use Python libraries

chr2sql

CHR2 to SQL conversion

chr_book

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

ckanren

Constraint programming language embedded in Racket

clprosette-minikanren

CLP(Rosette) on top of miniKanren

clpsmt-minikanren

CLP(SMT) on top of miniKanren

cnc_remastered_collection

company-mode

Modular in-buffer completion framework for Emacs

company-yasnippet-autoparens

A company-mode script for auto-parenthesis

ditaa

ditaa is a small command-line utility that can convert diagrams drawn using ascii art ('drawings' that contain characters that resemble lines like | / - ), into proper bitmap graphics.

dogears.el

Never lose your place in Emacs again

dojo

Dojo 1 - the Dojo 1 toolkit core library.

ediprolog

Emacs Does Interactive Prolog

emacs.d

My Emacs configuration for windows.

eopl

Valuable code and exercises about the book "Essentials of Programming Languages"

ex18-parsers

classes/18-parsers: ex18-parsers

experiments

Experiments

faster-minikanren

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

fra

functional relational algebra implementation

games

ganbreeder

Breed and share images using biggan

githubforkprtest

githubforkprtest

githubforktest

githubforktest