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

• LeifAndersen / PLGradSchools
  ☆227Updated 7 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
  ☆214Updated 2 years ago
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 3 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆362Updated 2 months ago
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆225Updated last week
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆136Updated 5 years ago
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆214Updated 5 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 7 years ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆87Updated 3 years ago
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆185Updated 9 months ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆262Updated 9 months ago
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆143Updated 4 years ago
• ProofSystem / Encyclopedia
  An Open Encyclopedia of Proof Systems
  ☆116Updated 2 years ago
• mattam82 / Coq-Equations
  A function definition package for Coq
  ☆227Updated last week
• wilbowma / pl-thesaurus
  ☆89Updated 3 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆263Updated 2 weeks ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆77Updated 2 years ago
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆216Updated 2 weeks ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆97Updated 7 months ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• plclub / cis670-16fa
  Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016
  ☆42Updated 2 years ago
• cpsc411 / cpsc411-book
  The WIP book for CPSC 411
  ☆63Updated 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.
  ☆55Updated 2 weeks ago
• Gbury / mSAT
  A modular sat/smt solver with proof output.
  ☆99Updated last year
• DeepSpec / dsss18
  Lecture material for DeepSpec Summer School 2018
  ☆68Updated 6 years ago
• 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 6 years ago