This is stars and forks stats for /andrejbauer/notes-on-realizability repository. As of 28 Apr, 2024 this repository has 58 stars and 4 forks.
Notes on realizability This repository contains a draft of notes on realizability theory in the notes folder. You may download a recent PDF version of the notes. The folder reading contains classic historical papers and other useful publications about realizability. Midlands graduate school 2022 The notes are the main reading material for the Midlands Graduate School 2022 lecture series on realizability. Lecture 1: Models of computation Time: Sunday, April 10, 2022, 14:00–15:00 Contents: some models...
Notes on realizability This repository contains a draft of notes on realizability theory in the notes folder. You may download a recent PDF version of the notes. The folder reading contains classic historical papers and other useful publications about realizability. Midlands graduate school 2022 The notes are the main reading material for the Midlands Graduate School 2022 lecture series on realizability. Lecture 1: Models of computation Time: Sunday, April 10, 2022, 14:00–15:00 Contents: some models...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| SYSU-SCC/sysu-thesis | TeXOther | 393 | 0 | 61 | 0 |
| sveltejs/svelte | JavaScriptSvelteOther | 73k | 0 | 4k | 0 |
| radix-ui/primitives | TypeScriptOther | 12.1k | 0 | 515 | 0 |
| makenotion/notion-sdk-js | TypeScriptOther | 4.1k | 0 | 498 | 0 |
| gnosis/safe-contracts | TypeScriptSolidityRuby | 1.6k | 0 | 832 | 0 |
| vercel/vercel | TypeScriptJavaScriptHTML | 11.3k | 0 | 2k | 0 |
| antoniosarosi/dotfiles | Vim ScriptPythonHaskell | 772 | 0 | 187 | 0 |
| TeamPiped/Piped | VueJavaScriptOther | 5.4k | +35 | 464 | +1 |
| giann/buzz | ZigOther | 851 | 0 | 19 | 0 |
| OpenRCT2/OpenRCT2 | C++CJava | 12.3k | 0 | 1.4k | 0 |