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
• yangshun / smrt-git
  🚋 Singapore train lines visualized in the form of git commits and branches
  ☆61Updated 10 years ago
• quanyang / security-internships
  A manually curated list of all security internships available for summer 2017.
  ☆18Updated 9 years ago
• nus-cs2030 / 1718-s1
  The main website for CS2030, AY17/18, Semester 1
  ☆13Updated 7 years ago
• nusmodifications / nus-scripts
  Scripts to make life as an NUS student better and easier.
  ☆41Updated 5 years ago
• nushackers / nushackers-site
  NUS Hackers website
  ☆46Updated this week
• nusmodifications / nus-exams-downloader
  Script and executable to download all exam scripts for an NUS module
  ☆36Updated 2 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
• bshlgrs / data-structure-composer
  Automatically choosing fast data structures!
  ☆38Updated 8 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• prakashk / cis-194
  Brent Yorgey's CIS 194: Introduction to Haskell
  ☆20Updated 10 years ago
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 7 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆11Updated 8 years ago
• signmeup / signmeup
  Real-time application to sign up for and manage TA hours.
  ☆95Updated 3 years ago
• janosgyerik / stripe-ctf3
  The original problems in the Capture The Flag 3 computing contest, with test files to replay easily on your PC
  ☆18Updated 2 years ago
• se-edu / collate
  Collate each contributor's code from multiple files
  ☆11Updated 2 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
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆374Updated 8 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• evansb / cis194-hw
  Solution to UPenn's Haskell course homework
  ☆37Updated 9 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆378Updated 2 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 6 months ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆291Updated 7 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆219Updated 2 years ago
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆668Updated last month
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆338Updated 4 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆251Updated last year