jeanqasaur / women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
☆169Updated 3 months ago
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
- ☆227Updated 7 months ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆214Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- The Ott tool for writing definitions of programming languages and calculi☆362Updated 2 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆225Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆136Updated 5 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆214Updated 5 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- A compiler for functional programs on serialized data☆158Updated this week
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Lecture material for DeepSpec Summer School 2017☆87Updated 3 years ago
- Elsa is a lambda calculus evaluator☆185Updated 9 months ago
- Spartan type theory☆262Updated 9 months ago
- Coq formalizations of functional languages.☆143Updated 4 years ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- A function definition package for Coq☆227Updated last week
- ☆89Updated 3 years ago
- Randomized Property-Based Testing Plugin for Coq☆263Updated 2 weeks ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆216Updated 2 weeks ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆97Updated 7 months ago
- The People's Refinement Logic☆229Updated 2 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- The WIP book for CPSC 411☆63Updated this week
- 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
- A modular sat/smt solver with proof output.☆99Updated last year
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- 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