Stars
- All languages
- APL
- Agda
- AppleScript
- Assembly
- Awk
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Elixir
- Emacs Lisp
- Futhark
- Go
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Mojo
- NASL
- Objective-C
- PHP
- Perl
- Python
- R
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Slim
- Starlark
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Vim Script
- Vue
- Yacc
- Zig
- hoon
2
stars
written in SystemVerilog
Clear filter
Proving leftpad correct two-dozen different ways
An exploration of log domain "alternative floating point" for hardware ML/AI accelerators.