-
21:32
(UTC -12:00) - https://hris.to
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- CUE
- Clojure
- Common Lisp
- Cuda
- Dart
- Elixir
- Emacs Lisp
- F*
- Frege
- Go
- Go Template
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MLIR
- Makefile
- Markdown
- Mustache
- Nix
- OCaml
- Objective-C++
- Odin
- PHP
- Pascal
- PowerShell
- PureScript
- Python
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Xtend
- Zig
- hoon
A simple and easy-to-use library to enjoy videogames programming
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
mimalloc is a compact general purpose allocator with excellent performance.
Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
A simple Minecraft clone written in C using modern OpenGL (shaders).
Fast and Lightweight Logs, Metrics and Traces processor for Linux, BSD, OSX and Windows
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
A bare metal programming guide (ARM microcontrollers)
GNU toolchain for RISC-V, including GCC
A toolkit for embedding hypervisor capabilities in your application
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
Chocolate Doom is a Doom source port that is minimalist and historically accurate.
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platfo…
picolibc - a C library designed for embedded 32- and 64- bit systems.
pg_lake: Postgres with Iceberg and data lake access
cachegrand - a modern data ingestion, processing and serving platform built for today's hardware
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Highly portable C system library: threads and synchronization primitives, sockets (TCP, UDP, SCTP), IPv4 and IPv6, IPC, hash functions (MD5, SHA-1, SHA-2, SHA-3, GOST), binary trees (RB, AVL) and m…