-
elsa Public
Forked from ucsd-progsys/elsaElsa is a lambda calculus evaluator
Haskell MIT License UpdatedMar 17, 2025 -
-
styleguide Public
Forked from cucapra/styleguiderules for writing and typesetting
SCSS MIT License UpdatedNov 14, 2024 -
haskellfoundation.github.io Public
Forked from haskellfoundation/haskellfoundation.github.ioThe Haskell Foundation website, hosted by GitHub Pages.
Nix Other UpdatedSep 7, 2024 -
autograder-py Public
Forked from edulinq/autograder-pyThe Python interface to the autograder.
Python MIT License UpdatedApr 26, 2024 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
-
-
-
klister Public
Forked from gelisam/klisteran implementation of stuck macros
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 27, 2022 -
-
CSE290Q-2019-09 Public
A graduate seminar on SMT solving and solver-aided systems
-
CMPS290S-2018-09 Public
A graduate seminar on languages and abstractions for distributed programming
-
-
plfa.github.io-1 Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
HTML Creative Commons Attribution 4.0 International UpdatedJan 11, 2022 -
-
-
mypyvy Public
Forked from wilcoxjay/mypyvyA language for symbolic transitions system, inspired by Ivy.
Python MIT License UpdatedSep 12, 2020 -
Awesome-CS-Books-and-Digests Public
Forked from wx-chevalier/Awesome-Books-Notes📚 Awesome CS Books(with Digests)/Series(.pdf by git lfs) Warehouse for Geeks, ProgrammingLanguage, SoftwareEngineering, Web, AI, ServerSideApplication, Infrastructure, FE etc. 💫 优秀计算机科学与技术领域相关的书籍归档…
-
-
verified-instances Public
Forked from ranjitjhala/verified-instancesVerified instances for parallel programming.
-
composition.al-notebooks Public
Jupyter notebooks to accompany composition.al posts
-
rosette Public
Forked from emina/rosetteThe Rosette solver-aided host language, sample solver-aided DSLs, and demos
Racket Other UpdatedOct 20, 2017 -
-
ParallelAccelerator.jl-1 Public
Forked from IntelLabs/ParallelAccelerator.jlThe ParallelAccelerator package, part of the High Performance Scripting project at Intel Labs
Julia BSD 2-Clause "Simplified" License UpdatedOct 5, 2017 -
CompilerTools.jl Public
Forked from IntelLabs/CompilerTools.jlThe CompilerTools package, part of the High Performance Scripting project at Intel Labs
-
starconuw.github.io Public
Forked from StarConKW/starconkw.github.iostarcon website
CSS MIT License UpdatedAug 19, 2017 -
julialang.github.com Public
Forked from JuliaLang/www_old.julialang.orgJulia Project web site.
TeX Other UpdatedJun 16, 2017 -
women-in-programming-languages-research Public
Forked from jeanqasaur/women-in-programming-languages-researchWomen in Programming Languages and Software Engineering Research
UpdatedJun 15, 2017 -
bangbangcon.github.io Public
Forked from kiran/bangbangcon.github.ioHTML MIT License UpdatedApr 12, 2017 -
docopt.cpp Public
Forked from docopt/docopt.cppC++11 port of docopt
C++ Boost Software License 1.0 UpdatedDec 31, 2016
{{ message }}