GitHub / robsimmons
Total Commits: 1,267
robsimmons/dusa
A logic programming language that has features of both Datalog and answer set programming.
Commits: 302
leanprover/verso
Commits: 56
chrisamaphone/interactive-lp
Commits: 51
pseyfert/pygments
mirror of https://bitbucket.org/birkenfeld/pygments-main and my addition
Commits: 48
clf/celf
Commits: 47
robsimmons/sketchzone
Quality-of-life for fiddly little JS apps that modify user-generated text
Commits: 30
mhaberler/pygments
Commits: 24
sglyon/pygments
Commits: 24
tomstuart/pygments
Commits: 24
brilliantorg/backpacker-below
Commits: 24
leanprover/reference-manual
Commits: 23
leanprover/lean-workbench
Commits: 22
gregsadetsky/minimalish-django-starter
Django + Vite starter kit & easy deployment using disco
Commits: 12
chrisamaphone/monopoly
Commits: 6
robsimmons/astro-test-mdx-bug
Commits: 5
autonomousenterprises/nomics-module
Commits: 5
robsimmons/stitchsine
Commits: 5
leanprover/comparator
Commits: 4
micromark/micromark
small, safe, and great commonmark (optionally gfm, mdx) compliant markdown parser
Commits: 4
calculemuscode/oli-hammock
A harness for simplifying custom embedded activity creation in Carnegie Mellon's OLI system
Commits: 4
robsimmons/chris-fp-exhib
Commits: 4
chrisamaphone/csc582exhibit
Commits: 3
robsimmons/leanvite
Commits: 3
aboutcode-org/scancode-toolkit
:mag: ScanCode detects licenses, copyrights, dependencies by "scanning code" ... to discover and inventory open source and third-party packages used in your code. Sponsored by NLnet project https://nlnet.nl/project/vulnerabilitydatabase, the Google Summer of Code, Azure credits, nexB and others generous sponsors!
Commits: 2
robsimmons/hot-notes
Personal notes for 15-417, Higher-Order Typed Compilation, at CMU. Buyer beware.
Commits: 2
leanprover/verso-slides
Commits: 2
remoteintech/remote-jobs
A list of semi to fully remote-friendly companies (jobs) in tech.
Commits: 2
robsimmons/reacttut
Commits: 2
github-linguist/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Commits: 2
nexB/scancode-toolkit
Commits: 1
robsimmons/botany
Commits: 1
BrikerMan/remote-jobs
Commits: 1
grafana/linguist
Commits: 1
ammkrn/nanoda_lib
Commits: 1
leanprover/sampcert
Commits: 1
leanprover/lean4export
Commits: 1
leanprover-community/batteries
Commits: 1
bathtub/tongue
Commits: 1
leanprover-community/lean4web
Commits: 1
robsimmons/astro-constrained-image-bug-repro
Commits: 1
LERKEY/remote-jobs
Commits: 1
geothird/linguist
Commits: 1
grosser/language_sniffer
Commits: 1
gingerhot/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Commits: 1
geldata/gel
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
Commits: 1
jbampton/linguist
Commits: 1
github/linguist
Commits: 1
edgedb/edgedb
A graph-relational database with declarative schema, built-in migration system, and a next-generation query language
Commits: 1