Skip to content

Issues: wdv4758h/notes

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

66 Open 15 Closed
66 Open 15 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The End of Error: Unum Computing Book Math
#81 opened Aug 27, 2017 by wdv4758h
獨裁者的進化：收編、分化、假民主 Book
#80 opened Apr 22, 2017 by wdv4758h
1
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant Book Coq Formal Verification
#79 opened Apr 1, 2017 by wdv4758h
Verified Functional Programming in Agda Agda Book Formal Verification
#78 opened Apr 1, 2017 by wdv4758h
Write You a Haskell - Building a modern functional compiler from first principles Book Haskell
#76 opened Mar 3, 2017 by wdv4758h
1
Domain-Specific Languages Book
#75 opened Mar 2, 2017 by wdv4758h
Hacker's Delight, 2nd Book DS & Algo
#74 opened Feb 27, 2017 by wdv4758h
A Unified TLS API for Python Cryptography Python
#73 opened Feb 19, 2017 by wdv4758h
1
血之祕史：科學革命時代的醫學與謀殺故事 Book
#72 opened Feb 17, 2017 by wdv4758h
2
Wayland utils like X Wayland
#71 opened Feb 14, 2017 by wdv4758h
6
[2016] Sequent calculus as a compiler intermediate language Paper
#70 opened Feb 14, 2017 by wdv4758h
Rust and other languages ABI FFI Rust
#69 opened Feb 14, 2017 by wdv4758h
Julia's AOT compile Julia LLVM
#68 opened Feb 14, 2017 by wdv4758h
FOSDEM 2017 GC Go Instrumentation JIT LLVM Lua Python Ruby Rust Talk
#67 opened Feb 13, 2017 by wdv4758h
3
2017 LLVM Performance Workshop at CGO Compiler LLVM
#66 opened Feb 13, 2017 by wdv4758h
WireGuard: Next Generation Secure Kernel Network Tunnel Cryptography
#64 opened Feb 13, 2017 by wdv4758h
[2015] Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images Machine Learning Paper
#62 opened Feb 13, 2017 by wdv4758h
[2002] Secrets of the Glasgow Haskell Compiler inliner Compiler Haskell Paper
#61 opened Feb 12, 2017 by wdv4758h
[2017] Software Engineering at Google Paper
#58 opened Feb 12, 2017 by wdv4758h
Foundations of Programming Languages (Undergraduate Topics in Computer Science) Book Language VM Prolog Python Standard ML
#55 opened Feb 10, 2017 by wdv4758h
1
Understanding Computation: From Simple Machines to Impossible Programs Book
#54 opened Feb 10, 2017 by wdv4758h
Virtual Machines Summer School 2016 GC JIT Language VM
#53 opened Feb 10, 2017 by wdv4758h
1
Haskell Programming: From First Principles Book Haskell
#51 opened Feb 3, 2017 by wdv4758h
1
Martin-Löf 型別理論
#50 opened Jan 28, 2017 by wdv4758h
Practical Foundations for Programming Languages, 2nd Book
#49 opened Jan 28, 2017 by wdv4758h
ProTip! Find all open issues with in progress development work with linked:pr.