Stars
- All languages
- 1C Enterprise
- AGS Script
- ANTLR
- APL
- ActionScript
- Ada
- Agda
- Arc
- Arduino
- Assembly
- Awk
- BASIC
- BQN
- Batchfile
- Befunge
- Bluespec
- Brainfuck
- C
- C#
- C++
- CMake
- COBOL
- CSS
- CWeb
- Cairo
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Component Pascal
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- DM
- DTrace
- Dart
- DenizenScript
- Dockerfile
- Eagle
- Elixir
- Elm
- Erlang
- Euphoria
- F#
- F*
- Factor
- Fennel
- Forth
- Fortran
- FreeBasic
- Futhark
- GAP
- GDScript
- GLSL
- Gleam
- Go
- HLSL
- HTML
- Haskell
- Haxe
- HolyC
- Idris
- Inform 7
- Io
- Isabelle
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Limbo
- Logtalk
- Lua
- M4
- MATLAB
- Macaulay2
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- Modula-2
- MoonScript
- NSIS
- Nim
- Nix
- Nunjucks
- OCaml
- Oberon
- Objective-C
- Objective-C++
- OpenEdge ABL
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- Perl 6
- PicoLisp
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- QML
- R
- Racket
- Raku
- Reason
- Rebol
- Red
- Ren'Py
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sage
- Scala
- Scheme
- Self
- Shell
- Slash
- Slice
- Smalltalk
- Solidity
- Standard ML
- StringTemplate
- Svelte
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- Text
- TypeScript
- Typst
- V
- VBA
- VHDL
- Vala
- Verilog
- Visual Basic
- Visual Basic .NET
- Visual Basic 6.0
- Vue
- WebAssembly
- Wikitext
- Wren
- X10
- ZIL
- Zig
- hoon
- jq
- mupad
- nesC
OpenMPTCProuter is an open source solution to aggregate multiple internet connections using Multipath TCP (MPTCP) on OpenWrt
Base code for 15-462/662: Computer Graphics at Carnegie Mellon University
Disassembled code of SPECTRUM micro-PROLOG T1.0
An accessible Forth written in machine code for the RISC-V architecture.
Macintosh and Commodore 64 raw disk images from the archives of the original author of ChipWits, Doug Sharp.
A Stream Multiplexing Library for golang with least memory usage(TDMA)
A Crypto-Secure Reliable-UDP Library for golang with FEC
A Quantum-Safe Secure Tunnel based on QPP, KCP, FEC, and N:M multiplexing.
"What is differential geometry: curves and surfaces" by Anton Petrunin and Sergio Zamora Barrera
Euclidean plane and its relatives; a minimalist introduction.
"Alexandrov geometry: foundations" by S. Alexander, V. Kapovitch, and A. Petrunin
"An invitation to Alexandrov geometry: CAT(0) spaces" by S. Alexander, V. Kapovitch, and A. Petrunin
PIGTIKAL (puzzles in geometry that I know and love)
A web tool that helps you compare and visualize the performance of cryptographic operations
Web-based Process Visualization (SCADA/HMI/Dashboard) software
Counterexamples to conjecture that a magnet outside a polygon can grab a metal ball inside a polygon
Multiroom meeting app integrating web tools
Coauthor supercollaboration/discussion forum