Ben Greenman (bennn)

bennn

Geek Repo

Company:University of Utah

Location:Salt Lake City

Home Page:https://users.cs.utah.edu/~blg/

Github PK Tool:Github PK Tool


Organizations
brownplt
nuprl
racket-templates
syntax-objects
utahplt

Ben Greenman's repositories

forth

Forth emulator, as a Racket #lang

Language:RacketLicense:NOASSERTIONStargazers:22Issues:6Issues:3

with-cache

Simple, filesystem-based caching for Racket

Language:RacketLicense:NOASSERTIONStargazers:17Issues:4Issues:16

pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.

gtp-measure

Benchmarking tool

Language:RacketLicense:NOASSERTIONStargazers:5Issues:1Issues:0

gtp-plot

Gradual typing performance plots

Language:RacketLicense:NOASSERTIONStargazers:4Issues:1Issues:0

syntax-parse-example

Collection of syntax/parse macros

Language:RacketLicense:NOASSERTIONStargazers:2Issues:1Issues:0

creative-racket-2022

Creative Racket competition

Language:RacketLicense:MITStargazers:1Issues:1Issues:0

femshop

Main repository for femshop

License:MITStargazers:1Issues:0Issues:0
Language:RacketStargazers:1Issues:3Issues:0
Language:RacketLicense:NOASSERTIONStargazers:1Issues:3Issues:0

ppict

progressive picts

Language:RacketLicense:NOASSERTIONStargazers:1Issues:2Issues:0

punct

⏺✍️ Write in Lisp + Markdown, publish to multiple formats

Language:RacketLicense:NOASSERTIONStargazers:1Issues:1Issues:0

racket

The Racket repository

Language:RacketLicense:NOASSERTIONStargazers:1Issues:3Issues:0
Language:RacketLicense:NOASSERTIONStargazers:1Issues:3Issues:0
Language:RustLicense:MITStargazers:1Issues:1Issues:0

summer-competititon-2019

'Summer standard fish competition 2019'

Language:RacketStargazers:1Issues:1Issues:0

tcallred-FloatTracker.jl

Julia library providing tracking of floating point errors through a program

Language:JuliaStargazers:1Issues:1Issues:0

cinder

Instagram's performance oriented fork of CPython.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:1Issues:0

data-frame

A data frame implementation for Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:1Issues:0

OrdinaryDiffEq.jl

High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learning (SciML)

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:3Issues:0

Plot-cookbook

Plot Cookbook

Language:RacketLicense:MITStargazers:0Issues:1Issues:0

racket-gui-easy

Declarative GUIs in Racket.

Language:RacketStargazers:0Issues:1Issues:0

racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018

Language:RacketLicense:UnlicenseStargazers:0Issues:1Issues:0

sketching

A Racket library for creative drawings and animations. Inspired by Processing.

Language:RacketStargazers:0Issues:1Issues:0
Language:RacketLicense:MITStargazers:0Issues:3Issues:0

typeshed

Collection of library stubs for Python, with static types

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0