phd-dissertation
LaTeX-examples
| phd-dissertation | LaTeX-examples | |
|---|---|---|
| 2 | 1 | |
| 27 | 1,533 | |
| - | - | |
| 3.8 | 0.0 | |
| 2 months ago | over 1 year ago | |
| TeX | TeX | |
| - | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
phd-dissertation
-
Worlds: Controlling the Scope of Side Effects
Doing effects as in the paper, or as other approaches like in algebraic effects and handlers (Like in Koka, Multicore OCaml, Frank, etc) means that you can reinterpret how effects are executed as a way to do logging, undo, asynchronous scheduling, etc. Some of this stuff is mentioned in the paper. You can also see this neat example of making a toy time-sharing unix system in Links (talk here). OCaml has also done a bunch of cool stuff building handlers that let existing code take advantage of new APIs like iouring (talk here).
-
Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
Source Code
LaTeX-examples
-
How would I insert a basic radius and diameter in a circle in latex?
circle-diameter-radius from MartinThoma's LaTeX examples on GitHub
What are some alternatives?
LaTeX-KOMA-template - Generic template for midsize and larger documents based on KOMA script classes.
fiziko - MetaPost library initially written to automate some elements of black and white illustrations for a physics textbook
awesome-deep-learning-music - List of articles related to deep learning applied to music
flashcards - Dark themed, hyperlinked flashcards 📇
eioio - Effects-based direct-style IO for multicore OCaml
mtheme - A modern LaTeX Beamer theme
l3charts - Customizable charts made with TikZ and LaTeX3
siunitx - A comprehensive (SI) units package for LaTeX
Reals-as-Oracles - This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.
vimtex - VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
flashcards - Programming Language and Framework Flash Cards as Study Material
ndim - :books: Compute multidimensional volumes and monomial integrals.