Stars
A simple cycle accurate NTSC NES emulator written in C
Generates TypeScript from Java - JSON declarations, REST service client
An in memory implementation of a JSR-203 file system
Notes on Functional Programming and related topics
Mutation testing for Java in Eclipse IDE. Based on PIT (Pitest).
Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.
Free monospaced font with programming ligatures
State of the art mutation testing system for the JVM
A command line tool to mine and analyze data from version-control systems
Eclipse plugin to generate builders
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Durability and Contention in Software Transactional Memory
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
An introductory course to Homotopy Type Theory
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
a FindBugs/SpotBugs plugin for doing static code analysis for java code bases
Beautiful, interactive visualizations of logical inference
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Questions to ask the company during your interview
svgcleaner could help you to clean up your SVG files from the unnecessary data.
A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online…
🎓 Path to a free self-taught education in Computer Science!