-
-
eecs700 Public
EECS 700: Intro to Program Synthesis
-
rdl Public
Forked from tupl-tufts/rdlTypes, type checking, and contracts for Ruby
-
-
-
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.
Python Other UpdatedApr 10, 2024 -
-
-
-
-
-
databrary Public
Forked from MariosPapasofokli/databrarybehavioral science research media data sharing web application
Haskell GNU Affero General Public License v3.0 UpdatedNov 1, 2021 -
-
-
-
-
-
-
ruby-minisat Public
Forked from eagletmt/ruby-minisatRuby binding for MiniSat
Ruby MIT License UpdatedOct 29, 2019 -
-
-
codejudge Public archive
host coding competitions anywhere, anytime
-
twitter Public
Forked from sferik/twitter-rubyA Ruby interface to the Twitter API.
Ruby MIT License UpdatedFeb 22, 2019 -
wikipedia-client Public
Forked from kenpratt/wikipedia-clientRuby client for the Wikipedia API
Ruby MIT License UpdatedFeb 22, 2019 -
huginn Public
Forked from huginn/huginnCreate agents that monitor and act on your behalf. Your agents are standing by!
Ruby MIT License UpdatedFeb 22, 2019 -
code-dot-org Public
Forked from mckaz/code-dot-orgThe code powering code.org and studio.code.org
JavaScript Other UpdatedFeb 21, 2019 -
-
discourse-typecheck-1 Public
Forked from mckaz/discourse-typecheckRuby GNU General Public License v2.0 UpdatedFeb 19, 2019 -
shakydraw Public
Beautiful hand-drawn block diagrams from plain text
-
crystal Public
Forked from crystal-lang/crystalThe Crystal Programming Language
Crystal Other UpdatedJun 15, 2018