Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- AutoIt
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Dart
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Hy
- Isabelle
- Jai
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Nim
- Nix
- Pascal
- PowerShell
- Python
- QML
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vim Script
- Zig
Mirror of the official Barrelfish OS repository.
A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.
omniosorg / illumos-omnios
Forked from illumos/illumos-gateCommunity developed and maintained version of the OS/Net consolidation
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
Read-only git conversion of OpenBSD's official cvs xenocara repository.
Experimental symbolizer for cgo backtraces
BSD syslog daemon with syslog()/syslogp(), i.e., structured logging API replacement for Linux, RFC3164 + RFC5424
Modular open source ps4 sdk with user and kernel space support
Test infrastructure and test cases for EDK II based firmware
Open Source PlayStation 4 Payload SDK
Print an image in the terminal using the term 256 colors
IDA Pro plugin to aid PS4 user mode ELF reverse engineering.
axw / gollvm
Forked from go-llvm/llvmLLVM bindings for the Go programming language