Academic papers and articles that I have read or plan to read
☆73Nov 21, 2013Updated 12 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- Miscellaneous files from my blog☆19Apr 5, 2012Updated 13 years ago
- This is the term project of course 'Object-Oriented Programming' ,SSE, Tongji University, 2017.☆15Jun 20, 2017Updated 8 years ago
- Some GUI examples in Java/Scala using Reactive Extensions☆43Dec 15, 2014Updated 11 years ago
- EPUB reader plugin for Kindle Touch☆19Dec 22, 2011Updated 14 years ago
- Turn Facebook into a Terminal!☆46Jan 20, 2022Updated 4 years ago
- State machines in Idris☆37Nov 6, 2016Updated 9 years ago
- ☆11May 26, 2018Updated 7 years ago
- pIpe is ifttt for websites/webservices linked to webservices/smartphones/desktops with advanced filters☆224Oct 1, 2012Updated 13 years ago
- malloc lab☆10Dec 2, 2013Updated 12 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Aug 29, 2017Updated 8 years ago
- A driver loader for Windows NT using NtLoadDriver()☆24Aug 30, 2015Updated 10 years ago
- Find the perfect place near you!☆10Jan 4, 2016Updated 10 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- Offline Signature Recognition and Verification - with python and opencv☆16Mar 14, 2012Updated 14 years ago
- Scala Test Driven Development published by PACKT☆14Jan 30, 2023Updated 3 years ago
- Eventually consistent datatypes for Clojure.☆14Apr 25, 2016Updated 9 years ago
- keyed functors☆23Jan 10, 2026Updated 2 months ago
- All the hackerrank data structure problems.☆10Apr 22, 2017Updated 8 years ago
- Our workflow, gemified.☆11Dec 14, 2015Updated 10 years ago
- Jenkins configuration slicing plugin☆18Mar 2, 2026Updated 2 weeks ago
- Zero-cost Abstractions in Scala☆10Nov 7, 2017Updated 8 years ago
- Linux hooking engine for ARM architecture☆16May 4, 2015Updated 10 years ago
- ☆15Jul 12, 2015Updated 10 years ago
- Spark Sample Project☆11Dec 15, 2015Updated 10 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Frege interface to Android☆14Sep 16, 2015Updated 10 years ago
- Focus on ICS, providing the latest ICS consulting, research, services（专注工控网络安全，提供最新的工控网络安全咨询、研究、服务）☆19Mar 17, 2018Updated 8 years ago
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 5 years ago
- Go library for Functional Reactive Programming, a library for representing and consuming asyncronous data streams with Observables☆14Aug 20, 2015Updated 10 years ago
- Utilities to write multilingual clojure programs☆13Apr 20, 2016Updated 9 years ago
- A bit vector with the Rust standard library's portable SIMD API.☆42May 4, 2023Updated 2 years ago
- A web scraper that collects all project submissions on DevPost.☆13Apr 12, 2017Updated 8 years ago
- Dynamic instrumentation of the Linux kernel☆41Feb 24, 2015Updated 11 years ago
- Nothing fancy. Just where I fight with python☆10Sep 24, 2018Updated 7 years ago
- Watch your Snapchats arrive live in the browser☆26Oct 3, 2014Updated 11 years ago
- Python Script Obfuscator☆10Nov 20, 2014Updated 11 years ago
- Source Code for Functional Programming Patterns in Scala and Clojure☆11Apr 16, 2014Updated 11 years ago
- Go concurrent GC pacing simulator☆11Aug 17, 2015Updated 10 years ago
- simple implementation of the cake pattern for the "in depth" article☆20Dec 22, 2011Updated 14 years ago