dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production
-
Arm
- Oslo, Norway
- http://iamferris.com/
- @ferristweetsnow
Highlights
- Pro
Stars
- All languages
- Agda
- Assembly
- Bikeshed
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- F#
- F*
- Forth
- GLSL
- Go
- HTML
- Haml
- Handlebars
- Haskell
- Haxe
- Java
- JavaScript
- Jupyter Notebook
- KiCad Schematic
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- NewLisp
- Nix
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sass
- Scala
- ShaderLab
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- Uno
- V
- VHDL
- Verilog
- Visual Basic
- Yacc
- wisp
6
results
for source starred repositories
written in TeX
Clear filter
Examples of how to create colorful, annotated equations in Latex using Tikz.
Slides for my talk at ACT 2022, 'Fully abstract categorical semantics for digital circuits'