8000 elimisteve (Steve Phillips) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View elimisteve's full-sized avatar
💭
Be more ambitious. The future depends on it.
💭
Be more ambitious. The future depends on it.
631 followers · 1.8k following

Sponsoring

@freeCodeCamp
@jart
@medvednikov
@Delta456

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@sbhackerspace @noisebridge @noisetor @thecloakproject @securepollingsystem @cryptag @cpunkswritecode @EffectiveAF @vlang @SpringACT @AutonomousUnited

Block or report elimisteve

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

Starred repositories

8 stars written in Racket
Clear filter

zv / SICP-guile

SICP in Guile & Emacs Lisp

Racket 700 50 Updated May 7, 2022

webyrd / mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

Racket 332 52 Updated Jun 16, 2025

calvis / cKanren

Constraint programming language embedded in Racket

Racket 153 33 Updated Sep 17, 2021

stchang / macrotypes

Racket 137 14 Updated Jun 2, 2022

namin / staged-miniKanren

multi-stage relational programming for staged relational interpreters: running with holes, faster

Racket 133 16 Updated Jun 19, 2025

alanb2718 / wallingford

An experimental DSL for handling state and updates, along with constraints, in Rosette.

Racket 51 3 Updated Feb 15, 2019

gregr / dbKanren

Kanren with databases

Racket 43 5 Updated Jul 30, 2024

gregr / demo-livingnet

demo of an alternative to the web

Racket 8 Updated Dec 17, 2015

Starred topics

0