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 8 years ago
• li-kai / modify
  Open source module builder for Singapore Universities
  ☆11Updated 8 years ago
• quanyang / security-internships
  A manually curated list of all security internships available for summer 2017.
  ☆18Updated 8 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• yangshun / smrt-git
  🚋 Singapore train lines visualized in the form of git commits and branches
  ☆61Updated 10 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 7 years ago
• evansb / cis194-hw
  Solution to UPenn's Haskell course homework
  ☆37Updated 9 years ago
• nusmodifications / nus-exams-downloader
  Script and executable to download all exam scripts for an NUS module
  ☆35Updated 2 years ago
• prakashk / cis-194
  Brent Yorgey's CIS 194: Introduction to Haskell
  ☆20Updated 10 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 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
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆334Updated 3 years ago
• bfpg / cis194-yorgey-lectures
  A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.
  ☆145Updated 8 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆373Updated 8 years ago
• tweag / gazelle_cabal
  A gazelle extension to produce Haskell rules from cabal files
  ☆13Updated this week
• readablesystems / cs260r-17
  Main repository for Harvard CS260r 2017.
  ☆11Updated 8 years ago
• sjsyrek / study-haskell-nyc
  Information about the "Haskell Programming from First Principles" reading group in NYC.
  ☆56Updated 7 years ago
• noelmarkham / learn-you-a-haskell-exercises
  ☆195Updated 5 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 3 months ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆162Updated 7 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 3 years ago
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆47Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,583Updated 9 years ago
• kcbanner / uw-wkrpt
  LaTeX class for writing work reports for the University of Waterloo.
  ☆75Updated 9 years ago
• jscert / jscert
  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
  ☆201Updated last year
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆377Updated last year
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆218Updated 2 years ago