- Johannesburg, South Africa
-
14:21
(UTC +02:00) - roci.co.za
- @_levindaniel_
- in/levinda
Highlights
- Pro
- All languages
- ANTLR
- Ada
- Assembly
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dart
- Elm
- Emacs Lisp
- Erlang
- F*
- Fortran
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MDX
- MLIR
- Markdown
- Mojo
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- R
- RPM Spec
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Standard ML
- Starlark
- Swift
- TeX
- Tree-sitter Query
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Visual Basic
- Yacc
- Zig
Starred repositories
A Linux framework to enable userspace-defined "Virtual" PCIe card shims to enable in-host PCIe card driver development.
Repo for AI Compiler team. The intended purpose of this repo is for implementation of a PJRT device.
Rust implementation of bors used for various Rust components (e.g. the compiler).
Open Source SMT Pick and Place Hardware and Software
Renderer for the harmony response format to be used with gpt-oss
A machine learning compiler for GPUs, CPUs, and ML accelerators
An ergonomic and safe syscall interception framework for Linux.
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek, Qwen, Llama, Gemma, TTS 2x faster with 70% less VRAM.
Representation and Reference Lowering of ONNX Models in MLIR Compiler Infrastructure
Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/
Reindeer is a tool to transform Rust Cargo dependencies into generated Buck build rules
Ongoing research training transformer models at scale
A zero sysroot, fully hermetic C/C++ cross compilation toolchain for Bazel based on LLVM.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
An extremely fast Python type checker and language server, written in Rust.
An extremely fast Python linter and code formatter, written in Rust.
Turso is an in-process SQL database, compatible with SQLite.
Self checking RISC-V directed tests
Framework to perform DUT vs ISS (Whisper) lockstep architectural checks
RISC-V Directed Test Framework and Compliance Suite, RiESCUE