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

• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆222Updated 2 months ago
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆136Updated 7 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆215Updated 2 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆226Updated this week
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆117Updated 2 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆360Updated last month
• coq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆163Updated 2 months ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆262Updated this week
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆141Updated 4 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆201Updated 2 months ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆161Updated 3 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆209Updated 3 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated last week
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated 2 weeks ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆205Updated 2 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆248Updated 10 months ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆204Updated 6 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆262Updated 8 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆54Updated this week
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆235Updated 2 weeks ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆299Updated 3 months ago
• coq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆112Updated this week
• coq-community / coq-ext-lib
  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
  ☆130Updated last month
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆74Updated 7 months ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆134Updated 5 years ago