k4rtik
Follow
-
uchicago-dissertation Public template
Forked from mvzink/ucetd-latexUniversity of Chicago electronic dissertation LaTeX class and template
-
liquidhaskell Public
Forked from ucsd-progsys/liquidhaskellLiquid Types For Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2023 -
sprite-lang Public
Forked from ranjitjhala/sprite-langAn tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
Haskell Other UpdatedFeb 7, 2023 -
feynman Public
Forked from meamy/feynmanQuantum circuit analysis toolkit
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 2, 2023 -
pfpl-syntax Public
Forked from RobertHarper/pl-syntaxPFPL syntax macros.
TeX GNU General Public License v3.0 UpdatedJan 26, 2023 -
plzoo Public
Forked from andrejbauer/plzooProgramming Languages Zoo
OCaml MIT License UpdatedJan 4, 2023 -
qhtt-thesis Public
LaTeX source for my master's paper on Quantum Hoare Type Theory.
TeX MIT License UpdatedDec 20, 2022 -
qsharp-language Public
Forked from microsoft/qsharp-languageOfficial repository for design of the quantum programming language Q# and its core libraries
ANTLR MIT License UpdatedNov 16, 2022 -
counterexamples Public
Forked from stedolan/counterexamplesCounterexamples in Type Systems
JavaScript UpdatedOct 16, 2022 -
urweb Public
Forked from urweb/urwebThe Ur/Web programming language
Standard ML Other UpdatedOct 10, 2022 -
qsharp-compiler Public
Forked from microsoft/qsharp-compilerQ# compiler, command line tool, and Q# language server
C# MIT License UpdatedOct 1, 2022 -
uchicago-poster Public template
Unofficial Poster Template for UChicago Computer Science
-
-
bittorrent-rs Public
BitTorrent Protocol and Client implementation in Rust
-
-
-
whiley-lang Public
Syntax highlighting extension for Whiley programming language
MIT License UpdatedMay 6, 2022 -
acmart Public
Forked from borisveytsman/acmartACM consolidated LaTeX styles
-
platform Public
Forked from coq/platformMulti platform setup for Coq, Coq libraries and tools
Shell Creative Commons Zero v1.0 Universal UpdatedMar 24, 2022 -
lngen Public
Forked from plclub/lngenTool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Haskell MIT License UpdatedMar 9, 2022 -
ott Public
Forked from ott-lang/ottThe Ott tool for writing definitions of programming languages and calculi
OCaml Other UpdatedMar 3, 2022 -
qsharp.sty Public
Forked from msr-quarc/qsharp.styLaTeX support for Q# syntax highlighting
-
-
agda-soas Public
Forked from DimaSamoz/agda-soasAgda formalisation of second-order abstract syntax
-
LambdaJS Public
Forked from brownplt/LambdaJSSemantics and tools for JavaScript
JavaScript Other UpdatedJan 4, 2022 -
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby MIT License UpdatedJan 3, 2022 -
QuantumKatas Public
Forked from microsoft/QuantumKatasProgramming exercises for learning Q# and quantum computing
-
ittc Public
Forked from astump/ittcMaterials related to the Iowa Type Theory Commute podcast
TeX UpdatedNov 3, 2021 -
-
nice-parser Public
Forked from smolkaj/nice-parserNice parsers in OCaml without the boilerplate
OCaml MIT License UpdatedSep 16, 2021