Skip to content
View ravibajaj's full-sized avatar
3 followers · 3 following

Organizations

@nemaload @RebootAnyon

Block or report ravibajaj

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

aic-sri-international / aic-praise

SRI International's AIC PRAiSE (Probabilistic Reasoning As Symbolic Evaluation) Library (for Java 1.8+)

Java 12 2 Updated Feb 11, 2021

prismmodelchecker / prism-svn

Mirror of old PRISM subversion trunk. Now replaced by "prism" repo, but some forks of this may still exist.

Java 11 11 Updated Aug 15, 2017

mikeshulman / Coq-HoTT

Forked from HoTT/Coq-HoTT

Homotopy type theory

Coq 14 4 Updated Sep 21, 2022

jscoq / jscoq

A port of Coq to Javascript -- Run Coq in your Browser

TypeScript 545 50 Updated Jun 15, 2026

math-comp / math-comp

Mathematical Components

Rocq Prover 685 132 Updated Jun 17, 2026

tonsky / FiraCode

Free monospaced font with programming ligatures

Clojure 81,763 3,189 Updated May 18, 2026

i-tu / Hasklig

Hasklig - a code font with monospaced ligatures

Python 5,720 153 Updated Feb 19, 2022

alanedelman / 18.337_2015

30 15 Updated Oct 23, 2015