An open API service providing commit metadata for open source projects.

GitHub / robsimmons

Total Commits: 1,267

robsimmons/l10

The L10 Logic Programming Language

Commits: 372

robsimmons/dusa

A logic programming language that has features of both Datalog and answer set programming.

Commits: 302

leanprover/verso

Commits: 56

pygments/pygments

Pygments is a generic syntax highlighter written in Python

Commits: 48

jasongross/pygments-main

Fork of https://bitbucket.org/birkenfeld/pygments-main

Commits: 48

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

dagwieers/pygments

Python syntax highlighter

Commits: 24

tomstuart/pygments

Commits: 24

yujinakayama/pygments-main

Mirror repo of pygments converted with hg-fast-export

Commits: 24

robsimmons/cryptopals

Rob does the Cryptopals challenges at Recurse Center. Spoilers!!!

Commits: 16

calculemuscode/jaco

Javascript C0 Tools

Commits: 12

gregsadetsky/minimalish-django-starter

Django + Vite starter kit & easy deployment using disco

Commits: 12

stemmlerjs/simple-typescript-starter

The most basic TypeScript starter I could think of

Commits: 10

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/leanvite

Commits: 3

robsimmons/c0testing

Public test case suite for C0

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

remoteintech/remote-jobs

A list of semi to fully remote-friendly companies (jobs) in tech.

Commits: 2

robsimmons/reacttut

Commits: 2

calculemuscode/abt-js

Abstract Binding Trees

Commits: 2

leanprover/lean4

Lean 4 programming language and theorem prover

Commits: 2

github-linguist/linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Commits: 2

robsimmons/botany

Commits: 1

grafana/linguist

Commits: 1

ammkrn/nanoda_lib

Commits: 1

leanprover/sampcert

Commits: 1

bathtub/tongue

Commits: 1

leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

Commits: 1

LERKEY/remote-jobs

Commits: 1

estree/estree

The ESTree Spec

Commits: 1

geothird/linguist

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