-
taco-bench Public
Forked from tensor-compiler/taco-benchRepository to reproduce the results from paper "The Tensor Algebra Compiler".
C++ UpdatedNov 6, 2025 -
-
frap Public
Forked from achlipala/frapFormal Reasoning About Programs
-
Halide Public
Forked from halide/Halidea language for fast, portable data-parallel computation
C++ Other UpdatedJul 9, 2021 -
scala-open-letter.github.io Public
Forked from scala-open-letter/scala-open-letter.github.ioRuby UpdatedApr 28, 2021 -
coq Public
Forked from rocq-prover/rocqCoq 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 develo…
OCaml GNU Lesser General Public License v2.1 UpdatedAug 20, 2020 -
www Public
Forked from rocq-prover/coq.github.ioSource files of the coq.inria.fr website (static part)
HTML UpdatedJul 27, 2020 -
-
unfork Public
Forked from whitequark/unforkunfork(2) is the inverse of fork(2). sort of.
C++ BSD Zero Clause License UpdatedOct 29, 2019 -
-
-
rippl.vim Public
A syntax highlighter for the Rippl programming language.
Vim Script UpdatedMay 14, 2019 -
seatingcharts Public
Forked from cs3157/seatingchartsRandomized Seating Chart Generator
HTML UpdatedApr 9, 2019 -
-
-
-
-
-
wyvern Public
Forked from wyvernlang/wyvernThe Wyvern programming language.
Java GNU General Public License v2.0 UpdatedSep 5, 2018 -
ESP-Website Public
Forked from learning-unlimited/ESP-WebsiteA website to help manage the logistics of large, short-term educational programs
Python UpdatedJul 16, 2018 -
-
wyvern.vim Public
Forked from hcnelson99/wyvern.vimSyntax highlighting for Wyvern (http://wyvernlang.github.io/)
Vim Script UpdatedJun 19, 2018 -
recitations Public
Forked from cs3157/recitationsRecitation notes for cs3157, the C systems programming course with a narrative
C UpdatedMar 7, 2018 -
{{ message }}