bollu Goto Github PK

repl

A simple REPL for Lean 4, returning information about errors and sorries.

repro-live-range-reordering

reprover

Retrieval-Augmented Theorem Provers for Lean

research-vision

Developing a personal research vision!

rete

An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'

rust

a safe, concurrent, practical language

rust-opengles

OpenGL ES 2.0 bindings for Rust

rustautocomplete

A SublimeText binding for RACER (Rust auto completion tool)

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

rusti

REPL for the Rust programming language

rvld

Learn how to write a minimal working linker from scratch

sage

Mirror of the Sage source tree -- please do not submit PRs here -- everything must be submitted via https://trac.sagemath.org/

sagenb

Sage Notebook (flask)

sampleraytracer

Sample across ray tracers using Adam scibior techniques to build a probability monad in C++

sandhi

sandhi subtree

scev-coq

LLVM's loop analysis theory (Scalar Evolution) formalized in Coq

scilean

Scientific computing in Lean 4

sdl.lean

SDL2 bindings for lean

sdl2.lean

bindings to SDL2 (Simple DirectMedia library) in Lean

seashell

There are many sea shells, but this one is mine.

secret

setup-msys2

GitHub Action to setup MSYS2 (MSYS, MINGW32, MINGW64, UCRT64 and/or CLANG64)

sha-rnn

Single Headed Attention RNN - "Stop thinking with your head"

shadered

Lightweight, cross-platform & full-featured shader IDE

shakuni

An exploration of minimality and parallelism in probabilstic programming languages.

shell

Making my own minishell as a part of system software course

shifter

Shifter - Linux Containers for HPC

sicl

A fresh implementation of Common Lisp

sicm

structure and interpretation of classical mechanics

sicp

Thoughts, Notes and Exercies as I read SICP