Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Agda
- Assembly
- AutoHotkey
- Batchfile
- Bikeshed
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Clojure
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- F#
- F*
- FreeMarker
- Frege
- GAMS
- GLSL
- Git Attributes
- Go
- HLSL
- HTML
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- NASL
- NSIS
- Nim
- OCaml
- Objective-C
- Objective-C++
- Odin
- Oz
- PHP
- PLSQL
- PLpgSQL
- Perl
- PowerShell
- Python
- R
- ReScript
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smalltalk
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Zig
A language-agnostic "shebang interpreter" that enables you to write scripts in compiled languages.
Common rust command-line macros and utilities, to write shell-script like tasks in a clean, natural and rusty way
Repository for the main Dockerfile with the OpenWorm software stack and project-wide issues
A fast and ergonomic concurrent hashmap for read-heavy workloads.
Lean 4 programming language and theorem prover
SHSans-derived CJK font family with a more concise & modern look. 未来荧黑·未來熒黑·ヒカリ角ゴ:基于思源黑体改造,拥有粗度和宽度系列,更加简明现代的超大字体家族。
A modern replacement for Redis and Memcached
(Cross-Platform) An open source approach to locally record and enable searching everything you view on any computer.
A framework to enable multimodal models to operate a computer.
提取微信聊天记录,将其导出成HTML、Word、Excel文档永久保存,对聊天记录进行分析生成年度聊天报告,用聊天数据训练专属于个人的AI聊天助手
Rust implementation of Binary Object Representation Serializer for Hashing
tldraw / make-real
Forked from SawyerHood/draw-a-uiDraw a ui and make it real
Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State
Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite
Rust library for concurrent data access, using memory-mapped files, zero-copy deserialization, and wait-free synchronization.
A collection of modern C++ libraries, include coro_http, coro_rpc, compile-time reflection, struct_pack, struct_json, struct_xml, struct_pb, easylog, async_simple etc.
Rust implementation of Magic Wormhole, with new features and enhancements
OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)
STOKE: A stochastic superoptimizer and program synthesizer
ChatLaw:A Powerful LLM Tailored for Chinese Legal. 中文法律大模型