-
BigCodeBench-X Public
A benchmark of programming tasks for LLMs that supports almost any programming language.
-
-
Charlie the Coding Cow: Classroom Edition
-
-
-
longbench Public archive
I cannot remember the point of this repository. I'd delete it, but it looks like @cassanof did some work on it.
-
-
-
stopify.org Public
Stopify technical demo website
-
cloudflare-dyndns Public archive
A dynamic DNS client for CloudFlare
-
pervasives.js Public
Abstractions missing from JavaScript standard libraries
-
-
stopify-aec Public archive
PLDI 2018 Artifact for "Putting in All the Stops: Execution Control for JavaScript"
-
migeed-palsberg-popl2020 Public archive
Forked from migeed-z/Maximal-MigrationHaskell BSD 3-Clause "New" or "Revised" License UpdatedJul 9, 2021 -
-
rehearsal-pldi2016-aec Public archive
A configuration verification tool for Puppet
-
-
-
compsci220-scala Public archive
COMPSCI 220 (Fall 2014 -- Spring 2018)
-
-
haskell-couchdb Public archive
Haskell bindings for CouchDB
-
sdx-platform-optimized Public archive
Forked from sdn-ixp/sdx-platform-optimizedThe Pyretic runtime system
Python UpdatedJan 5, 2015 -
docker-grader Public archive
Docker based grader and demo of ocaml-docker
-
-
Deliciousync Public archive
A tool to synchronize Delicious and Safari bookmarks
{{ message }}