Highlights
- Pro
Stars
- All languages
- Assembly
- BitBake
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Coq
- Crystal
- Cuda
- Cython
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- M4
- MATLAB
- MDX
- Makefile
- Mathematica
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- Python
- R
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sage
- Scala
- Shell
- Svelte
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Typst
- V
- VHDL
- Vala
- Verilog
- Vim Script
- WebAssembly
- XS
- Zig
LLM Frontend for Power Users.
Based on libROTE, libvterm is a color terminal emulator. It mimics vt100, rxvt, xterm, and xterm 256 color mode
ConnectBot is the first SSH client for Android.
QUIC proxy that allows to use QUIC to connect to an SSH server without needing to patch the client or the server.
ConnectBot's terminal emulator Android Compose component using libvterm
Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚
セキュリティ・キャンプ 2022-2024 RISC-V CPU自作ゼミ 資料置き場
An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
MiniMax-M2, a model built for Max coding & agentic workflows.
Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.
A machine learning accelerator core designed for energy-efficient AI at the edge.
Linux virtual machines, with a focus on running containers
The HIP Environment and ROCm Kit - A lightweight open source build system for HIP and ROCm
Verilog evaluation benchmark for large language model
An open-source benchmark for generating design RTL with natural language