- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Earthly
- Erlang
- F*
- Frege
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- Perl
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vue
Starred repositories
13
stars
written in HTML
Clear filter
Convert PDF to HTML without losing text or format.
Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)
TypeScript with a Borrow Checker. Multi-threaded, Tiny binaries. No GC. Easy to write.
OBSOLETE, contained in https://github.com/tlx/tlx - STX B+ Tree C++ Template Classes -
The draft C++ Library Fundamentals Technical Specification
Project Z, an initiative to build a Haskell engineering eco-system.
Content and code from Haskell Embedded blag