Discover @jeapostrophe Open Source projects

Jay McCarthy (@jeapostrophe)

jeapostrophe

Stars
1,014
Global Rank 30,177 (Top 2 %)
Followers 404
Following 57
Registered over 14 years ago
Most used languages

Racket
58.7 %

Scheme
30.3 %

C
2.8 %

JavaScript
1.8 %

Coq 1.8 %

Others 4.5 %
Location 🇺🇸 United States
Country Total Rank 8,889
Country Ranking

Racket
4

Scheme
64

Coq 130

Lua
5,857

HTML
6,645

C
7,191

Rust
8,645

racket-langserver

racket-android

deploying Racket on Android

exp

Configuration files and experimental, one-off code

mode-lambda

mode-lambda - sprite-based 2D graphics engine

racket-cheat

racket-cheat - a cheat sheet for Racket

remix

remix - a revised version of Racket

lux

lux - a simple library for creating real-time graphical apps

adqc

adqc - A version of C with verification and resource bounds

mic1

mongodb

raw mongodb interface in Racket

jeapostrophe.github.com

raart

raart - racket ansi art

k-type

[dead] a variant of "Typing of the Dead" for learning Japanese

opencl

zeromq

c

#lang for writing C code

automata

automata - macros to build automata over match patterns

slideshow-latex

embedding LaTeX in Racket slideshows

m8b

a graduate admissions management site

wizarding-world

wizarding-world - A "Powered by the Apocalypse"-style tabletop RPG based on the world of JK Rowling's Harry Potter

superc

C code with macros in Racket

dos

DOS - Delimited-continuation-based Operating-system Simulator

rmc

rmc - Racket-Made C

struct-define

struct-define - quickly access fields of struct

puresuri

puresuri presentation system

rackunit-chk

a short-hand for writing rackunit tests

apse

apse - A Pixel Sprite Editor

parenlog

purely parenthetical version of Prolog

iswim

iswim - #lang for writing ISWIM terms and helping to write ISWIM interpeters

presentations

source code for some presentations I've given

runic

teachlog

teachlog - A logic language for teaching language creation

srpnt

srpnt - synthesized, random pulse, noise, and triangle (wip)

lll

[dormant] a low-level language framework (including SNES assembler!)

live-free-or-die

live-free-or-die - Escape from Typed Racket

galaxy

[moved] the next Racket package system (merged into the core)

bloggy

basic blogging system

lux-charterm

lux-charterm - the dream of the 1970s

rune

a text editor in Racket---to a first approximation

org-mode

org-mode file parser

openmpi

FFI for OpenMPI

compiler

[dormant] experimental compiler infrastructure

dbm

fra

functional relational algebra implementation

gamejam-2019

chk

chk - a minimal tester

xml-rpc

XML RPC in Racket

higan

my copy of unofficial higan repo

youchart

[dead] a Web app for charting your monthly cycle

grade-ninja

[dead] a UNIX-based turn-in submission and grading system

planet2-example

[dead] example package for planet 2

grade-samurai

a turn-in and grading site for my courses

matrix

matrix data structures

ldap

implementation of basic LDAP authentication

twitter

[rewrite] Basic Twitter API (lame)

bulletml

[dormant] implementation of bulletml

sps

[dormant] a basic physics simulator

html-parsing

fork on html parsing library

redex

redex modules for papers, etc

jwm

jwm - Jay's UI environment

compy

[dormant] an experiment in making a compiler for teaching

pltwitter

[dead] twitter in Racket

sqlite

[moved] FFI for sqlite (now in Racket 'db' package)

chipmunk

[dormant] FFI for chipmunk physics

ring-buffer

a fixed-size overwriting ring buffer

gl-world

[dead] opengl version of HtDP's world interface

datalog

[moved] an implementation of datalog (moved to datalog package in Racket core)

gl2d

[dead] 2D drawing with opengl

wtk

[rewrite] a toolkit of Web components

pfp

[dormant] purely functional physics simulator

batched-deque

[rewrite] batched deque data structure

monaco

monaco - Monte Carlo Tree Search library

rl

[dormant] an experimental "roguelike" in Racket

mccgames

Games from the McCarthy family

fib-heap

[rewrite] implementation of fibonacci heap

hash-store

[rewrite] a hash-based store

spvector

semi-persistent vectors

rip

Racket Interactive Programming

dijkstra

[rewrite] implementation of dijkstra's algorithm

apd

[dormant] automatic protocol designer

with-bindings

[dead] a basic macro for request-bindings

url-param

embedding values in URLs automatically in Racket Web server programs

floyd-warshall

[rewrite] floyd-warshall implementation

mv

[dormant] an experiment in making a metroidvania style game

wrap-dict

[dead] wrapping a dictionary with a processing step

job-queue

implementation of a job queue + workers

restore

protocol for restore program state

mmss

[dead] a bunch of random libraries

grade-harvest

openal

openal - FFI for OpenAL

rust-vs-hs

fortunedb

[dead] fortunedb implementation

sdl

[dead] FFI to SDL

shmup

[dormant] a basic shmup

flowww

[dormant] frp across the Web

svn-prop

[dead] FFI to SVN's property api

rack

an experimental racket-y language/vm

fs-persist

[rewrite] filesystem persistence

birthday-scriptures

pyramidstack

[dead] an animation of a pyramid stack of blocks crashing