Skip to content
View Rscho314's full-sized avatar
13 followers · 5 following

Sponsoring

@racket
@SWI-Prolog

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@Mallampati-photobooth

Block or report Rscho314

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

  • Recovery Public

    R GNU General Public License v3.0 Updated Mar 12, 2025

  • swish Public

    Forked from SWI-Prolog/swish

    SWI-Prolog for SHaring: a SWI-Prolog web IDE

    Prolog Other Updated Nov 9, 2024

  • plot Public

    Forked from racket/plot
    Racket Other Updated Jul 9, 2024

  • typed-racket Public

    Forked from racket/typed-racket

    require/untyped-contract can be passed a language description

    Racket Other Updated Jun 11, 2024

  • lungsim-java Public

    Java Updated May 5, 2024

  • Lungsim Public

    educational lung physiology simulation

    Smalltalk GNU General Public License v3.0 Updated May 4, 2024

  • db Public

    Forked from racket/db
    Racket Other Updated May 27, 2022

  • sqldf-mirror Public

    Updated Apr 3, 2022

  • sql Public

    Forked from rmculpepper/sql

    Embedding of some of SQL into Racket

    Racket Updated Mar 22, 2022

  • unification Public

    J Updated Oct 9, 2021

  • mkudo Public

    microkanren-in-J with unification based upon: M. Udovicic, 'Unification Algorithms', in Advanced Technologies, Systems, and Applications IV - Proceedings of the International Symposium on Innovativ…

    J Other Updated Jan 3, 2021

  • alioth-racket Public

    Computer benchmark game programs

    Racket Other Updated Oct 29, 2020

  • racket Public

    Forked from racket/racket

    The Racket repository

    Scheme Other Updated Oct 21, 2020

  • semanticmedline Public

    Trials and tribulations in logic programming on SemmedDB

    Prolog Updated Oct 6, 2020

  • mk Public

    microkanren DLS 16 a la J

    J 7 2 Other Updated Aug 13, 2020

  • microKanren Public

    Forked from jasonhemann/microKanren

    The implementation of microKanren, a featherweight relational programming language

    Scheme Updated Aug 3, 2020

  • microKanren-DLS-16 Public

    Forked from jasonhemann/microKanren-DLS-16

    microKanren implementation from DLS '16

    Racket MIT License Updated Aug 2, 2020

  • faster-miniKanren Public

    Forked from michaelballantyne/faster-minikanren

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

    Scheme MIT License Updated Jul 9, 2020

  • apl2d Public

    An APL-funge embryo

    Racket Other Updated Apr 20, 2020

  • apl3d-rs Public

    Rust Updated Apr 16, 2020

  • apl3d Public

    A kind of APL interpreter, but in 3d

    Racket 1 Other Updated Apr 13, 2020

  • apl-microkanren Public

    Updated Feb 20, 2020

  • J_microkanren Public

    Hemann 2013

    J 5 Updated Feb 9, 2020

  • mk_racket Public

    literal translation of https://github.com/jasonhemann/microKanren to racket to benefit from racket tooling

    Scheme Updated Feb 2, 2020

  • new_kanren Public

    microkanren Hemann 2016

    J 2 Updated Jan 5, 2020

  • J_mukanren Public

    J Updated Dec 17, 2019

  • jacket Public

    An experiment in compiling J

    Racket 1 Other Updated Oct 26, 2019

  • jacket-compiler Public

    A investigation into compiling J

    Racket Other Updated Oct 6, 2019

  • swilit Public

    Prolog Updated Sep 3, 2019

  • pengines_smalltalk Public

    Smalltalk Updated Aug 31, 2019