adhameer

Pinned Repositories

Beluga
Repository for the Beluga language
Language:OCaml00
cdf-tools
Tools made for use in the UofT Computing Disciplines Faculty
Language:Shell11
drracket-collapse-atomic
A DrRacket tool to collapse arbitrary S-expressions or sequences of S-expressions with a keyboard shortcut.
Language:Racket4 3 00
htdp
Language:Racket00
mafia
A webapp for modding mafia games for the McGill Mafia Club
Language:Python11
strong-normalization
Formalizations of strong normalization proofs
Language:TeX34 10 13
Beluga
Contextual types meet mechanized metatheory!
Language:OCaml184 12 18816
Meta
Mechanizing Types and Programming Languages using Beluga
Language:TeX17 19 44
concurrent-object-synthesis
Synthesizer for Extensions to Concurrent Data Structures
Language:Racket10
learn-ocaml
A Web Application for Learning OCaml
Language:JavaScript304 16 25266

adhameer's Repositories

adhameer/drracket-collapse-atomic
A DrRacket tool to collapse arbitrary S-expressions or sequences of S-expressions with a keyboard shortcut.
Language:Racket4 3 00
adhameer/cdf-tools
Tools made for use in the UofT Computing Disciplines Faculty
Language:Shell11
adhameer/mafia
A webapp for modding mafia games for the McGill Mafia Club
Language:Python11
adhameer/Beluga
Repository for the Beluga language
Language:OCaml00
adhameer/htdp
Language:Racket00
adhameer/learn-ocaml
A Web Application for Learning OCaml
Language:OCaml
adhameer/Meta
Mechanizing Types and Programming Languages using Beluga
Language:TeX
adhameer/MusicBot
🎶 A Discord music bot that's easy to set up and run yourself!
Language:Java
adhameer/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml
adhameer/tcod-asb
A web app to keep track of people's stuff in a play-by-post Pokémon forum game
Language:Python1 0