Lists (12)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASL
- ActionScript
- Agda
- Assembly
- AutoIt
- BlitzBasic
- Boogie
- C
- C#
- C
- CMake
- CSS
- Circom
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- D
- DIGITAL Command Language
- Dafny
- Dart
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HTML
- Hack
- Haskell
- IDL
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Max
- Mermaid
- Meson
- NSIS
- OCaml
- Objective-C
- OpenQASM
- PDDL
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Python
- RPM Spec
- Racket
- ReScript
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SMT
- SWIG
- Sage
- Scala
- Shell
- Slash
- Smali
- Smalltalk
- Solidity
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic .NET
- Visual Basic 6.0
- Vue
- WebAssembly
- Xtend
- nesC
Starred repositories
Universal wireless communication library for embedded devices
PySDR.org textbook source material, feel free to post issues/PRs
A web-based SDR toolkit for analyzing, processing, and sharing RF recordings
Example Radar programs for the Phaser (CN0566)
Software radio distribution and installer for conda
This is the fully-functional GNU Radio software-defined radio (SDR) implementation of a LoRa transceiver with all the necessary receiver components to operate correctly even at very low SNRs. This …
A Simple showcase for the Sea-of-Nodes compiler IR
Circuit Artist is a digital circuit drawing and simulation game.
Instruction Set Generator initially contributed by Futurewei
Custom firmware for the HackRF PortaPack H1/H2/H4
A Lightweight Partially Homomorphic Encryption Library for Python
Investment Research for Everyone, Everywhere.
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Automated verification of uniqueness property for ZKP circuits