Highlights
Lists (2)
Sort Name ascending (A-Z)
- All languages
- ASL
- ASP
- Ada
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Dart
- Dhall
- Dockerfile
- Dylan
- Elixir
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- JSON
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- NCL
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- OpenQASM
- PHP
- Perl
- PowerShell
- Python
- R
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Starlark
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- V
- Vala
- Vim Script
- Visual Basic
- Vue
- Zig
Starred repositories
The THOR Project (Tensors for High-dimensional Object Representations)
Open-source Windows and Office activator featuring HWID, Ohook, TSforge, KMS38, and Online KMS activation methods, along with advanced troubleshooting.
阻止中国流氓软件的管理员授权. / Prevent UAC authorization of Chinese malware.
A Bazel ruleset for generating configuration files with Nickel
Search-based decoder for quantum error correction (QEC) written in C++ and Python.
Hierarchical Unified Graph Representation for quantum and classical programs
Kernel Intermediate Representation Infrastructure
Qᴜᴀʟᴛʀᴀɴ is a Python library for expressing and analyzing Fault Tolerant Quantum algorithms.
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
arturh85 / reedline-repl-rs
Forked from MGlolenstine/repl-rsRust library for managing an interactive command-line session based on reedline
A community driven project to provide solutions for LeetCode problems in the Julia programming language.
PyTheus, a highly-efficient inverse-design algorithm for quantum optical experiments
⚡ TypeScript integration NeoVim deserves ⚡
A web-based IDE for https://nand2tetris.org
Lightweight interface for Quantum Physics related packages
SPARK 2014 re-implementation of the TweetNaCl crypto library
A collection of Nix expressions for common Ada libraries and applications
A small Ada linear algebra library optimized for AVX2
Design automation software tools for Topological Quantum Error Correction