🎲
More is different.
-
IDEA
- Complex Manifold
-
19:51
(UTC +08:00) - caimeo.online
- https://sr.ht/~caimeo
- https://www.codewars.com/users/CAIMEO
Highlights
Lists (13)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- APL
- Ada
- Agda
- Assembly
- BQN
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Earthly
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Frege
- GAP
- GLSL
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- JSON
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Markdown
- Mathematica
- Mercury
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- Perl
- PowerShell
- Prolog
- PureScript
- Python
- Racket
- ReScript
- Reason
- Rich Text Format
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Shen
- Solidity
- Standard ML
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- YARA
- Yacc
- Zig
Starred repositories
19
results
for source starred repositories
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Book of Elementary Functional Algorithms and Data structures
A book about compiling Racket and Python to x86-64 assembly
Solution to Algebra, Chapter 0
A digital archive of category theory papers.
Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)