Stars
- All languages
- AMPL
- Ada
- Adblock Filter List
- Assembly
- Astro
- Batchfile
- Boo
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fluent
- Fortran
- Gherkin
- Go
- Groovy
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- R
- ReScript
- Reason
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Scilab
- Shell
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- UrWeb
- V
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- Wikitext
- YAML
- Zig
A statically typed lisp, without a GC, for real-time applications.
A massively parallel, high-level programming language
A little, pedagogical implementation of mvcc and transaction isolation levels.
DSPy: The framework for programming—not prompting—foundation models
SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges.
Apache Kvrocks is a distributed key value NoSQL database that uses RocksDB as storage engine and is compatible with Redis protocol.
A configurable RTL to bitstream FPGA toolchain
Header-only binary fuse and xor filter library
Python bindings for xorfilter(faster and smaller than bloom and cuckoo filters)
Quantum Machine Learning
CXL Memory Resource Kit top-level repository
STREAMer: Benchmarking remote volatile and non-volatile memory bandwidth
A library for constructing allocators and memory pools. It also contains broadly useful abstractions and utilities for memory management. UMF allows users to manage multiple memory pools characteri…
Library to abstract the userspace cxl (CAPI) Linux kernel API
This is the respository that holds the artifacts of MICRO'23 -- Demystifying CXL Memory with True CXL-Ready Systems and CXL Memory Devices
Pond: CXL-Based Memory Pooling Systems for Cloud Platforms (ASPLOS'23)
A "device memory" enabling project encompassing tools and libraries for CXL, NVDIMMs, DAX, memory tiering and other platform memory device topics.
System Configuration Validation and Optimization for Compute Express Link (CXL) Environments
RocksDB compatible key value store and MyRocks compatible storage engine designed for KV SSD
SMDK, Scalable Memory Development Kit, is developed for Samsung CXL(Compute Express Link) Memory Expander to enable full-stack Software-Defined Memory system
Practical Tool for Building ML Applications with HTM-Like Algorithms
SatCat5 is a mixed-media Ethernet switch that lets a variety of devices communicate on the same network.
Open deep learning compiler stack for cpu, gpu and specialized accelerators