Lists (31)
Sort Name ascending (A-Z)
AI / Machine Learning
12 repositories
algorithms and data structures
12 repositories
Android
1 repository
applications
30 repositories
CAD and geometry
12 repositories
compilers, linkers, assemblers
24 repositories
Computer Graphics
17 repositories
courses
1 repository
cryptography
1 repository
databases
Technology related to databases3 repositories
distributed / crdt
1 repository
editors
1 repository
Electronics
6 repositories
Embedded, MCUs and RTOS
19 repositories
FPGAs and HDLs
34 repositories
HPC
6 repositories
kakoune
1 repository
learning
courses, lists and learning material12 repositories
libraries and frameworks
44 repositories
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Proving8 repositories
music
4 repositories
Operating Systems
kernels, SO and so on19 repositories
programming languages
27 repositories
reverse engineering
3 repositories
security
1 repository
sgx
1 repository
Simulation and Modeling
41 repositories
typesetting
3 repositories
UI
7 repositories
UNIX
linux/BSDs etc2 repositories
unix/linux
3 repositories
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
13
stars
written in Zig
Clear filter
Application framework based on OpenGL ES 2.0. Runs on desktop machines, Android phones and the web
An Unofficial Writeup on Zig Compiler Internals - THIS IS OUTDATED SINCE LATE '2022 WHEN ZIG WENT SELF-HOSTED
inetbowser / zig-xtensa
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
experiments with bootstrapping a kernel with UEFI
Native arcan frontend for kakoune text editor