Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / steshaw/plt issues and pull requests
#65 - Add new collection
Pull Request -
State: closed - Opened by imteekay about 1 year ago
- 1 comment
#65 - Add new collection
Pull Request -
State: closed - Opened by imteekay about 1 year ago
- 1 comment
#64 - Fix broken link to Semantics Engineering with PLT Redex
Pull Request -
State: closed - Opened by polynomialherder about 1 year ago
- 1 comment
#64 - Fix broken link to Semantics Engineering with PLT Redex
Pull Request -
State: closed - Opened by polynomialherder about 1 year ago
- 1 comment
#63 - Add HoTTEST summer school, various link rot fixes
Pull Request -
State: closed - Opened by omentic over 1 year ago
- 1 comment
#63 - Add HoTTEST summer school, various link rot fixes
Pull Request -
State: closed - Opened by omentic over 1 year ago
- 1 comment
#62 - Added three links to index.md
Pull Request -
State: closed - Opened by Francesco601 over 1 year ago
- 1 comment
#62 - Added three links to index.md
Pull Request -
State: closed - Opened by Francesco601 over 1 year ago
- 1 comment
#61 - New pull request
Pull Request -
State: closed - Opened by Francesco601 over 1 year ago
- 2 comments
#60 - Hmm...I can't seem to do a pull request for some reason. New to Github....
Issue -
State: closed - Opened by Francesco601 over 1 year ago
- 3 comments
#59 - I have some useful links on topics related to programming languages..
Issue -
State: closed - Opened by Francesco601 over 1 year ago
- 3 comments
#59 - I have some useful links on topics related to programming languages..
Issue -
State: closed - Opened by Francesco601 over 1 year ago
- 3 comments
#58 - Add "Programming Languages: Build, Prove, and Compare" to PL
Pull Request -
State: closed - Opened by bzy-debug over 1 year ago
- 1 comment
#58 - Add "Programming Languages: Build, Prove, and Compare" to PL
Pull Request -
State: closed - Opened by bzy-debug over 1 year ago
- 1 comment
#57 - Link to "Categories for the working mathematician" is broken
Issue -
State: closed - Opened by aditya-giri over 1 year ago
- 1 comment
#57 - Link to "Categories for the working mathematician" is broken
Issue -
State: closed - Opened by aditya-giri over 1 year ago
- 1 comment
#56 - Add Program = Proof in Type Theory Books
Pull Request -
State: closed - Opened by sngbd over 2 years ago
- 1 comment
#56 - Add Program = Proof in Type Theory Books
Pull Request -
State: closed - Opened by sngbd over 2 years ago
- 1 comment
#55 - Add Program = Proof in Type Theory Books
Pull Request -
State: closed - Opened by sngbd over 2 years ago
#55 - Add Program = Proof in Type Theory Books
Pull Request -
State: closed - Opened by sngbd over 2 years ago
#54 - Add a license to the repository
Issue -
State: closed - Opened by haohanyang almost 3 years ago
#53 - Add "The Formal Semantics of Programming Languages"
Pull Request -
State: closed - Opened by Hirrolot over 3 years ago
- 1 comment
#53 - Add "The Formal Semantics of Programming Languages"
Pull Request -
State: closed - Opened by Hirrolot over 3 years ago
- 1 comment
#52 - Great Works in Computer Science - David Evans
Issue -
State: closed - Opened by alaskasquirrel over 3 years ago
- 1 comment
#52 - Great Works in Computer Science - David Evans
Issue -
State: closed - Opened by alaskasquirrel over 3 years ago
- 1 comment
#51 - Type Theory and Formal Proof: An Introduction
Pull Request -
State: closed - Opened by Hirrolot almost 4 years ago
- 1 comment
#51 - Type Theory and Formal Proof: An Introduction
Pull Request -
State: closed - Opened by Hirrolot almost 4 years ago
- 1 comment
#50 - Link for "PLT Texts Online - Frank Atanassow" seems broken
Issue -
State: closed - Opened by gihyeonsung about 4 years ago
- 1 comment
#50 - Link for "PLT Texts Online - Frank Atanassow" seems broken
Issue -
State: closed - Opened by gihyeonsung about 4 years ago
- 1 comment
#49 - Add miniKanren
Issue -
State: closed - Opened by damodharanj almost 5 years ago
- 1 comment
#49 - Add miniKanren
Issue -
State: closed - Opened by damodharanj almost 5 years ago
- 1 comment
#48 - what is the 'B' denote in "BTLS - The Little Schemer - Daniel P. Friedman, Matthias Felleisen"
Issue -
State: closed - Opened by xieyuheng almost 5 years ago
- 1 comment
#47 - Add Program analysis
Issue -
State: closed - Opened by MarisaKirisame about 5 years ago
- 3 comments
#46 - add ICFP 2016-2019 + video playlists
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 3 comments
#46 - add ICFP 2016-2019 + video playlists
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 3 comments
#45 - add PLFA
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#45 - add PLFA
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#44 - add B. Milewski CTFP
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#44 - add B. Milewski CTFP
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#43 - add more up to list of summer schools
Pull Request -
State: closed - Opened by lemastero about 5 years ago
#43 - add more up to list of summer schools
Pull Request -
State: closed - Opened by lemastero about 5 years ago
#42 - Add OPLSS 2019
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#42 - Add OPLSS 2019
Pull Request -
State: closed - Opened by lemastero about 5 years ago
- 1 comment
#41 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
#41 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
#40 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
#40 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
#39 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
#38 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
- 1 comment
#38 - lambda pi looks like 入门?
Issue -
State: closed - Opened by zaoqi-unsafe over 5 years ago
- 1 comment
#37 - Fix PFPL link
Pull Request -
State: closed - Opened by Grain over 5 years ago
- 1 comment
#37 - Fix PFPL link
Pull Request -
State: closed - Opened by Grain over 5 years ago
- 1 comment
#36 - add Seven Sketches in Compositionality and Applied CT Course
Pull Request -
State: closed - Opened by lemastero over 5 years ago
- 1 comment
#36 - add Seven Sketches in Compositionality and Applied CT Course
Pull Request -
State: closed - Opened by lemastero over 5 years ago
- 1 comment
#35 - add Theory and Applications of Categories
Pull Request -
State: closed - Opened by lemastero over 5 years ago
- 1 comment
#34 - I did see the engine files from this project, and really recommend this also will fork to my related css project,
Issue -
State: closed - Opened by yaoguangluo over 5 years ago
- 1 comment
#34 - I did see the engine files from this project, and really recommend this also will fork to my related css project,
Issue -
State: closed - Opened by yaoguangluo over 5 years ago
- 1 comment
#33 - Update link to advanced modern algebra
Pull Request -
State: closed - Opened by sourabhtk37 almost 6 years ago
- 1 comment
#33 - Update link to advanced modern algebra
Pull Request -
State: closed - Opened by sourabhtk37 almost 6 years ago
- 1 comment
#32 - Link broken for: Advanced Modern Algebra
Issue -
State: closed - Opened by sourabhtk37 almost 6 years ago
- 1 comment
#32 - Link broken for: Advanced Modern Algebra
Issue -
State: closed - Opened by sourabhtk37 almost 6 years ago
- 1 comment
#31 - Add effect paper
Issue -
State: closed - Opened by MarisaKirisame over 6 years ago
- 8 comments
#31 - Add effect paper
Issue -
State: closed - Opened by MarisaKirisame over 6 years ago
- 8 comments
#29 - steshaw.org is not accessible
Issue -
State: closed - Opened by baybatu over 6 years ago
- 2 comments
#29 - steshaw.org is not accessible
Issue -
State: closed - Opened by baybatu over 6 years ago
- 2 comments
#28 - Typo in Shoup's last name
Pull Request -
State: closed - Opened by ulysses4ever almost 7 years ago
- 1 comment
#28 - Typo in Shoup's last name
Pull Request -
State: closed - Opened by ulysses4ever almost 7 years ago
- 1 comment
#27 - Remove unavailable video resource
Pull Request -
State: closed - Opened by futtetennista over 7 years ago
- 1 comment
#27 - Remove unavailable video resource
Pull Request -
State: closed - Opened by futtetennista over 7 years ago
- 1 comment
#26 - Move one book and add OPLSS 2016
Pull Request -
State: closed - Opened by hawnzug over 7 years ago
- 1 comment
#26 - Move one book and add OPLSS 2016
Pull Request -
State: closed - Opened by hawnzug over 7 years ago
- 1 comment
#25 - Pull from aalhour/gh-pages
Pull Request -
State: closed - Opened by aalhour over 7 years ago
#25 - Pull from aalhour/gh-pages
Pull Request -
State: closed - Opened by aalhour over 7 years ago
#24 - Add www and pdf links to Programs and Proofs
Pull Request -
State: closed - Opened by catreadme over 8 years ago
#24 - Add www and pdf links to Programs and Proofs
Pull Request -
State: closed - Opened by catreadme over 8 years ago
#23 - Add "The Dragon Book" to list of compiler construction books
Pull Request -
State: closed - Opened by tombusby over 8 years ago
- 1 comment
#22 - Add MinCaml online book
Pull Request -
State: closed - Opened by jsyeo over 8 years ago
- 1 comment
#21 - Add book Programming Language Pragmatics
Pull Request -
State: closed - Opened by clehner over 8 years ago
- 1 comment
#20 - Fix typo
Pull Request -
State: closed - Opened by ghost over 8 years ago
- 2 comments
#19 - fix type theory subtopics links
Pull Request -
State: closed - Opened by 0joshuaolson1 over 8 years ago
- 1 comment
#18 - Fix some typos on index.md
Pull Request -
State: closed - Opened by scorphus over 8 years ago
- 1 comment
#17 - Fixed typo
Pull Request -
State: closed - Opened by radarhere over 8 years ago
- 1 comment
#16 - Many links are broken
Issue -
State: closed - Opened by audiolion over 8 years ago
- 1 comment
#15 - Fix link to Advanced Modern Algebra
Pull Request -
State: closed - Opened by rowanoulton over 8 years ago
- 1 comment
#14 - Is this really a path?
Issue -
State: closed - Opened by bitemyapp over 8 years ago
- 5 comments
#13 - "The Dragon Book"
Issue -
State: closed - Opened by tombusby over 8 years ago
- 2 comments
#12 - OPLSS: fix sorting for the year 2010
Pull Request -
State: closed - Opened by anton-trunov about 9 years ago
#11 - Add some simpler algebra books
Issue -
State: closed - Opened by psibi about 9 years ago
- 1 comment
#10 - Add The Programming Language Zoo
Pull Request -
State: closed - Opened by rpip about 9 years ago
#9 - Link broken - Introduction to Functional Programming
Issue -
State: closed - Opened by flotteur about 9 years ago
- 2 comments
#8 - Link text too slim in Chrome and IE
Issue -
State: closed - Opened by drasive about 9 years ago
- 1 comment
#7 - Adding previous draft link for Benjamin's CT book.
Pull Request -
State: closed - Opened by psibi about 9 years ago
- 1 comment
#6 - Fixes link to lambda-the-ultimate
Pull Request -
State: closed - Opened by philippbayer over 9 years ago
- 13 comments
#5 - Add reference to Design Concepts in Programming Languages.
Pull Request -
State: closed - Opened by sellout over 9 years ago
- 1 comment
#4 - Correct name.
Pull Request -
State: closed - Opened by cmeiklejohn over 9 years ago
- 1 comment
#3 - Fix link for Using, Understanding, and Unravelling The OCaml Language
Pull Request -
State: closed - Opened by anton-trunov over 9 years ago
#2 - Changed How To Prove It link
Pull Request -
State: closed - Opened by stevenspasbo over 10 years ago
- 1 comment
#1 - F pi s
Pull Request -
State: closed - Opened by tonymorris about 11 years ago