Lists (1)
Sort Name ascending (A-Z)
- All languages
- ATS
- ActionScript
- Agda
- Assembly
- Astro
- Bikeshed
- C
- C#
- C++
- CMake
- COBOL
- CSS
- CWeb
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DCPU-16 ASM
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fennel
- Forth
- GDScript
- GLSL
- Go
- HCL
- HTML
- Hack
- Haskell
- Haxe
- HolyC
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lua
- M4
- MATLAB
- MAXScript
- MLIR
- Makefile
- Markdown
- Mathematica
- Mercury
- Mojo
- MoonScript
- Nim
- Nix
- Nu
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- OpenQASM
- OpenSCAD
- PHP
- PLpgSQL
- Perl
- PowerShell
- Processing
- Prolog
- Protocol Buffer
- PureScript
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Spline Font Database
- Standard ML
- Starlark
- Svelte
- Swift
- Tcl
- TeX
- Terra
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vim Snippet
- Visual Basic
- Vue
- WebAssembly
- Wikitext
- Yacc
- Zig
- hoon
- wisp
Starred repositories
This repo is the official home of .NET on GitHub. It's a great starting point to find many .NET OSS projects from Microsoft and the community, including many that are part of the .NET Foundation.
A collection of resources and papers on Diffusion Models
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
🍀 Local git statistics including GitHub-like contributions calendars.
OctoLinker — Links together, what belongs together
WebGL lessons that start with the basics
Open source Pan-CJK pixel font / 开源的泛中日韩像素字体
LaTeX.css is a CSS library that makes your website look like a LaTeX document
Curated list of resources on testing distributed systems
🔈 Web Component wrapper to the Web Speech API, that allows you to do voice recognition and speech synthesis using Polymer
Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
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.
Decentralized data storage and message relay for decentralized identity and apps.
Tools for parsing messy tabular data. This is now superseded by https://github.com/frictionlessdata/tabulator-py
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
The document repo for the Web Payments Working Group
Split BIP39 mnemonics using Shamir's Secret Sharing Scheme
The BLAKE3 paper: specifications, analysis, and design rationale
Awesome nostr in Japan. Software, Web service, Clients, Bots created by Japanese.