Lists (31)
Sort Name ascending (A-Z)
AI / Machine Learning
algorithms and data structures
Android
applications
CAD and geometry
compilers, linkers, assemblers
Computer Graphics
courses
cryptography
databases
Technology related to databasesdistributed / crdt
editors
Electronics
Embedded, MCUs and RTOS
FPGAs and HDLs
HPC
kakoune
learning
courses, lists and learning materiallibraries and frameworks
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Provingmusic
Operating Systems
kernels, SO and so onprogramming languages
reverse engineering
security
sgx
Simulation and Modeling
typesetting
UI
UNIX
linux/BSDs etcunix/linux
Stars
- All languages
- ANTLR
- ASL
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Elixir
- Emacs Lisp
- Forth
- GDScript
- Gnuplot
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KakouneScript
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MLIR
- Makefile
- Mathematica
- Modelica
- Nim
- Oberon
- Odin
- PHP
- Polar
- PostScript
- Python
- QML
- Racket
- ReScript
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Slash
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- Typst
- VHDL
- Vala
- Verilog
- Vim Script
- Zig
General-purpose editor/IDE with high expansibility in Common Lisp
Modular hardware build system
The live data layer for apps and AI agents Create up-to-the-second views into your business, just using SQL
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
Build your personal knowledge base with Trilium Notes
A Git-compatible VCS that is both simple and powerful
Portable and lightweight cross-platform desktop application development framework
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Espressif IoT Development Framework. Official development framework for Espressif SoCs.
Verilog to Routing -- Open Source CAD Flow for FPGA Research
F´ - A flight software and embedded systems framework
Kratos Multiphysics (A.K.A Kratos) is a framework for building parallel multi-disciplinary simulation software. Modularity, extensibility and HPC are the main objectives. Kratos has BSD license and…
Intermediate Language (IL) for Hardware Accelerator Generators
Julia for optimization simulation and modeling of PowerSystems. Part of the Scalable Integrated Infrastructure Planning Initiative at the National Renewable Energy Lab.
A secure embedded operating system for microcontrollers
Fast and lightweight HTML/CSS rendering engine
UNIX-like reverse engineering framework and command-line toolset.
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
A markup-based typesetting system that is powerful and easy to learn.