Alternatives and similar repositories for soc-hyp-boilerplate

Users that are interested in soc-hyp-boilerplate are comparing it to the libraries listed below

• ZhangYiJiang / fuck-orbital
  An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day
  ☆18Updated 9 years ago
• nushackers / nushackers-site
  NUS Hackers website
  ☆46Updated last week
• nusmodifications / nus-exams-downloader
  Script and executable to download all exam scripts for an NUS module
  ☆36Updated 2 years ago
• quanyang / security-internships
  A manually curated list of all security internships available for summer 2017.
  ☆18Updated 9 years ago
• facebookarchive / JSCaml
  A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.
  ☆454Updated 8 years ago
• nusmodifications / nus-scripts
  Scripts to make life as an NUS student better and easier.
  ☆41Updated 5 years ago
• AdilVirani / LaTeX-Guide
  Learn how to write amazing documents and resumes using LaTex
  ☆32Updated 10 years ago
• evansb / cis194-hw
  Solution to UPenn's Haskell course homework
  ☆37Updated 9 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆191Updated 2 weeks ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• nusmodifications / react-redux-starter
  Minimal non-opinionated starter for modern single-page applications.
  ☆13Updated 6 years ago
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 7 years ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 10 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆372Updated 8 years ago
• prakashk / cis-194
  Brent Yorgey's CIS 194: Introduction to Haskell
  ☆20Updated 10 years ago
• joelburget / react-haskell
  React bindings for Haskell
  ☆354Updated 10 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆162Updated 7 years ago
• signmeup / signmeup
  Real-time application to sign up for and manage TA hours.
  ☆95Updated 3 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆203Updated last year
• chrisuehlinger / LambdaBubblePop
  ☆49Updated 8 years ago
• quintenkasteel / language-javascript
  Parser for JavaScript, in Haskell
  ☆161Updated 3 weeks ago
• joelburget / hubble
  javascript lenses
  ☆15Updated 10 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆378Updated 2 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• noelmarkham / learn-you-a-haskell-exercises
  ☆198Updated 6 years ago
• clarus / falso
  A proof of false in Coq.
  ☆100Updated 5 years ago
• nuprl / 10PL
  10 papers that all PhD students in programming languages ought to know, for some value of 10
  ☆908Updated 5 years ago