Alternatives and similar repositories for soc-hyp-boilerplate

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

• li-kai / modify
  Open source module builder for Singapore Universities
  ☆11Updated 8 years ago
• ZhangYiJiang / fuck-orbital
  An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day
  ☆18Updated 9 years ago
• nus-cs2030 / 1718-s1
  The main website for CS2030, AY17/18, Semester 1
  ☆13Updated 7 years ago
• nushackers / nushackers-site
  NUS Hackers website
  ☆47Updated last month
• quanyang / security-internships
  A manually curated list of all security internships available for summer 2017.
  ☆18Updated 9 years ago
• nusmodifications / nus-exams-downloader
  Script and executable to download all exam scripts for an NUS module
  ☆37Updated 2 years ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• OpenSourceCornell / awesome-cornell
  Awesome Projects @ Cornell
  ☆14Updated 7 years ago
• 2016rshah / heckle
  Jekyll in Haskell (feat. LaTeX)
  ☆93Updated 8 years ago
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• nusmodifications / nus-scripts
  Scripts to make life as an NUS student better and easier.
  ☆41Updated 5 years ago
• realworldocaml / examples
  All the examples in Real World OCaml
  ☆380Updated 2 years ago
• chenglou / intro-to-reason-compilation
  Ready up!
  ☆270Updated 5 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
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆99Updated 2 years ago
• prakashk / cis-194
  Brent Yorgey's CIS 194: Introduction to Haskell
  ☆20Updated 10 years ago
• noelmarkham / learn-you-a-haskell-exercises
  ☆198Updated 6 years ago
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆376Updated 9 years ago
• jarwino / FaceTeX
  A tool that lets you communicate in LaTeX to your friends over Facebook chat.
  ☆22Updated 9 years ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆233Updated 3 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,593Updated 10 years ago
• facebookarchive / fbshipit
  Copy commits between repositories · git → git, git → hg, hg → hg, or hg → git
  ☆395Updated 2 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆254Updated 2 years ago
• janestreet / core_kernel
  Jane Street's standard library overlay (kernel)
  ☆219Updated last month
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 6 years ago
• type-theory / type-theory-study-group
  Resources for the online Type Theory Study Group
  ☆162Updated 7 years ago
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆450Updated last year
• mightybyte / monad-challenges
  A set of challenges for jump starting your understanding of monads.
  ☆338Updated 4 years ago
• nusmodifications / react-redux-starter
  Minimal non-opinionated starter for modern single-page applications.
  ☆13Updated 6 years ago
• ocaml / ocamlunix
  Unix system programming in OCaml book
  ☆295Updated 7 years ago