Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- ASP.NET
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- D
- Emacs Lisp
- F#
- F*
- Fennel
- FreeBASIC
- Frege
- Go
- Grammatical Framework
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lex
- Limbo
- Lua
- MATLAB
- Markdown
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- Pascal
- Perl 6
- PowerShell
- Prolog
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- VCL
- XSLT
5
stars
written in HTML
Clear filter
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
A file-based mirror of the nLab wiki (HTML format).
Examples and information on `typestr` for Plan 9's C compiler suite
Automatically exported from code.google.com/p/operation-flashpoint-s-scripting-language-reference-guide