Similar repositories to jespercockx/telescopic:

• jespercockx/telescopic github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• plt-hokusai/ahc github similar
• meilisearch/MeiliSearch github similar
• heliaxdev/witch github similar
• dbp/rivet-old github similar
• casvdrest/agda-finally-tagless github similar
• mikeshulman/agda-infinity-categories github similar
• jfdm/tears-in-the-rain github similar
• JacquesCarette/agda-algebras github similar
• andreasabel/universal-algebra github similar
• neel-krishnaswami/ott-example github similar
• memcachier/aws-route53 github similar
• theoremprover-museum/OMEGA github similar
• andreasabel/Sit github similar
• nad/dependent-lenses github similar
• gsdlab/claferwiki github similar
• L-TChen/ModalTypeTheory github similar
• felipeperet/logic github similar
• mattam82/groupoid github similar
• 15-317/tutch github similar
• balint99/sfpl github similar
• phadej/staged github similar
• conal/agda-cat-linear github similar
• agocorona/tryhplay github similar
• parsonsmatt/modalities github similar
• markusdemedeiros/ATheoryOfPrograms github similar
• ekmett/make github similar
• AndrasKovacs/qiit-generalizations github similar
• metaocaml/metaocaml-opam github similar
• julianhyde/morel github similar
• mniip/th-tc github similar
• bch29/agda-holes github similar
• nilcons/hflags github similar
• effectfully/Eff github similar
• jonsterling/agda-effectful-forcing github similar
• AndrasKovacs/misc-stuff github similar
• sweirich/lennart-lambda github similar
• markhibberd/network-api-support github similar