Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / akanazawa / Formal-Reasoning-in-Computer-Science
Public GitHub Catalog Discovered Sep 24, 2026

akanazawa / Formal-Reasoning-in-Computer-Science

University of Maryland open study group on mathematical proofs, theoretical arguments, probability theory and randomized algorithms. Focus on solving problems. Content has been chosen to complement graduate-level work in computer science.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#2070697GitHub System ID
akanazawaOrganization / User
PublicVisibility
ActiveCatalog Status

More from akanazawa

↗

akanazawa/si-convnet

Implementation of the [Locally Scale-Invariant Convolutional Neural Network](http://www.umiacs.umd.edu/~kanazawa/papers/sicnn_workshop2014.pdf)

Discovered
↗

akanazawa/MRF

simple implementation of MRF foreground/background segmentation for CMSC828 Spring '12

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.