iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://github.com/chansey97
chansey97 (Siyuan Chen) · GitHub
Skip to content
View chansey97's full-sized avatar

Block or report chansey97

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. clprosette-miniKanren clprosette-miniKanren Public

    CLP(Rosette) on top of miniKanren

    Racket 9

  2. company-yasnippet-autoparens company-yasnippet-autoparens Public

    A company-mode script for auto-parenthesis

    Emacs Lisp 5

  3. faster-minikanren faster-minikanren Public

    Forked from michaelballantyne/faster-minikanren

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

    Scheme 5

  4. chr_book chr_book Public

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

    Prolog 4

  5. sicp sicp Public

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

    Racket 3

  6. Tweet-Segmenter Tweet-Segmenter Public

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

    Python 3