编程语言
编程语言、编译器与解释器
共 17174 个源码项目ssprove
A foundational framework for modular cryptographic proofs in Coq
st7789s3_mpy
MicroPython driver for the TTGO T-Display-S3 st7789 display written in C
static-dispatch
Static generic function dispatch for Common Lisp
vellum
Data Frames for Common Lisp
webp-server
Simple and minimal image server capable of storing, resizing, converting and caching images.
DerelictGL3
A dynamic binding to OpenGL for the D Programming Language.
FDChessboardView
An iOS / Mac view controller for chess boards
ReactiveAPI
Write clean, concise and declarative network code relying on URLSession, with the power of RxSwift. Inspired by Retrofit.
composer-patches-plugin
Plugin for composer to apply patches onto dependencies.
cpp-btree
Git mirror of the official (mercurial) repository of cpp-btree
ddbc
DDBC is DB Connector for D language (similar to JDBC)
edn-rs
[MAINTENANCE]: Crate to parse and emit EDN
elm-new
💾 Generate a new Elm project from the command line (Elm 0.16+)
env
🔍 Load environment variables into a config struct
fastrack
A ROS implementation of Fast and Safe Tracking (FaSTrack).
gh
Scriptable server and net/http middleware for GitHub Webhooks.
glayu
A static site generator for mid-sized sites.
go-vcs
manipulate and inspect VCS repositories in Go
gounidecode
Unicode transliterator for #golang
gulp-htmlhint
暂无描述
haclog
Haclog(Happy Aync C log) is an extremely fast plain C logging library
ion
יון no BS JS
kpie
Simple devilspie-like program for window manipulation, with Lua.
learn-transducers-playground
A little tutorial written in Swift playgrounds to learn about transducers.
第 470 / 716 页，共 17174 个项目