Alternatives and similar repositories for women-in-programming-languages-research

Users that are interested in women-in-programming-languages-research are comparing it to the libraries listed below

• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆265Updated this week
• pigworker / CS410-17
  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…
  ☆263Updated 7 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated 2 weeks ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated 2 months ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆153Updated this week
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆168Updated 4 years ago
• david-christiansen / pie-hs
  An implementation of Pie in Haskell
  ☆205Updated 5 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆118Updated 2 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆218Updated 2 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆115Updated 4 months ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated 3 months ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆145Updated last year
• rocq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆51Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆139Updated 3 months ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated last month
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆144Updated 4 years ago
• rocq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆131Updated 6 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated last week
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆147Updated 3 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆60Updated this week
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 4 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆376Updated 5 months ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago