编程语言
编程语言、编译器与解释器
共 17174 个源码项目MPCTT
Modeling and Proving in Computational Type Theory
PixelArtMaker
A pixel art editor in a Swift Playground 👾 WWDC Scholarship Winner 🏅
beanmother
A library for setting up Java objects as test data.
commonqt
Official commonqt repository
create-capacitor-plugin
Create a new Capacitor plugin ⚡️
drift
A migration library for clojure
entice
Docs for the entice project
exrun
Runtime and debugging tools for elixir
firestore-algolia-search
暂无描述
goby
Command-line role-playing game framework
gtk4.cr
GTK4 bindings for Crystal
hipchat-go
Go client library for the HipChat API v2
micropython-ov2640
A MicroPython class for the ov2640 camera.
microservice
This library provides a simple microservice framework based on clean architecture principles with a working example implemented.
miniboxing-plugin
Miniboxing is a program transformation that improves the performance of Scala generics when used with primitive types. It can speed up generic collections by factors between 1.5x and 22x, while maintaining bytecode duplication to a minimum. You can easily add miniboxing to your sbt project:
orson-charts
A 3D chart library for Java applications (JavaFX, Swing or server-side).
oxidebpf
A Rust library for managing eBPF programs.
purescript-optic-ui
PureScript UI framework based on lenses.
relax
Simple Elixir implementation of a jsonapi.org server.
sjwt
Simple JWT Golang
vscode-lua
Intellisense and Linting for Lua in VSCode
AsyncCalls
AsyncCalls – Asynchronous function call framework
CustomSegue
Custom segue for OSX Storyboards with slide and cross fade effects (NSViewControllerTransitionOptions)
LazWebsockets
Websocket Server and Client Library written in Lazarus
第 424 / 716 页，共 17174 个项目