kalicki1

kalicki1's Stars

• python/cpython

  The Python programming language

  Language:Python62.3k1.5k69.1k29.9k

• refined-github/refined-github

  :octocat: Browser extension that simplifies the GitHub interface and adds useful features

  Language:TypeScript24.2k2204.1k1.5k

• lwouis/alt-tab-macos

  Windows alt-tab on macOS

  Language:Swift10.5k433.3k321

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript6.8k112753282

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310k639

• openwpm/OpenWPM

  A web privacy measurement framework

  Language:Python1.3k66581313

• poliastro/poliastro

  poliastro - :rocket: Astrodynamics in Python

  Language:Python87026766281

• rntz/datafun

  Research on integrating datalog & lambda calculus via monotonicity types

  Language:TeX38543215

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq3701714979

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml339155144

• privacy-tech-lab/privacyflash-pro

  Generate a privacy policy for your iOS app quickly and automatically

  Language:Swift154141314

• privacy-tech-lab/gpc-optmeowt

  Privacy browser extension for opting out from web tracking via GPC

  Language:JavaScript1461730613

• cos418atPrinceton/assignments_template

  Language:Go264031

• AugustNing/princeton-food

  A collection of restaurants in and around Princeton that I like. There are also some tips about free food around campus

  4211

• emmanueljs1/lucid

  Language:OCaml1100

• EthanHaque/recalpp

  Language:JavaScript10

• Princeton-HCI/hci-course-2023

  Language:HTML1300