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
  ☆137Updated 7 years ago
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆211Updated 6 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆120Updated 3 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 3 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆157Updated last month
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆309Updated 5 months ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆95Updated 2 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆279Updated 3 weeks ago
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 3 months ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆191Updated 3 months ago
• gibbon-compiler / gibbon
  A compiler for functional programs on serialized data
  ☆173Updated last week
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆116Updated 4 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆175Updated 4 years ago
• OPLSS / oplss-notes-2018
  Notes and handouts from OPLSS 2018
  ☆55Updated 7 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆118Updated 10 months ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• rems-project / lem
  Lem semantic definition language
  ☆150Updated 9 months ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆81Updated last month
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq(Rocq)
  ☆112Updated 3 weeks ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆76Updated 4 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆235Updated last week
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Updated 4 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆66Updated 3 weeks ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆273Updated 3 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 3 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆169Updated last year