多码网
返回分类

编程语言

编程语言、编译器与解释器

14294 个源码项目

transitland-lib

Library and tool for reading, writing, and processing transit data

519GoNOASSERTION

url-shortener

A golang URL Shortener

516GoMIT

CardNavigation

A navigation controller that displays its view controllers as an interactive stack of cards.

504SwiftMIT

DependencyCheck

The dependency-check repository has moved:

5027JavaApache-2.0

MicroWorkers

A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)

5012PythonMIT

ahkDBA

AutoHotkey DBA is an OOP-SQL DataBase access framework. It currently supports SQLite, MySQL and ADO.

5017AutoHotkeyNOASSERTION

cl-duckdb

Common Lisp CFFI wrapper around the DuckDB C API

502Common LispMIT

clang.cr

libclang bindings for crystal (including automatic C bindings generator)

509CrystalNOASSERTION

convergen

A type-to-type copy function code generator.

509GoMIT

copy-cat

A ComputerCraft emulator for the web

5011TypeScriptMIT

coq-waterproof

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

5016Rocq ProverLGPL-3.0

cros

A single thread pure C implementation of the ROS framework

5027CBSD-3-Clause

datacounter

Golang counters for readers/writers

509GoMIT

docs

Automatically generate RESTful API documentation for GO projects - aligned with Open API Specification standard

506GoMIT

elm-ement

The "Hello world" of Elm + Web Components.

503JavaScriptMIT

fav-ssr

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

507Rocq ProverMIT

fields

Scala validation library

503ScalaApache-2.0

flake8-annotations-complexity

flake8 plugin to validate annotations complexity

5013PythonMIT

functionize

A library which aids in making any JavaScript library more functional.

50JavaScriptMIT

go-aptos-sdk

Aptos Golang SDK @aptos-labs (Support BCS)

5012GoApache-2.0

goback

Golang simple exponential backoff package.

508GoMIT

hackertyper

"Hack" like a programmer in movies and games! Inspired by hackertyper.net

509HaskellMIT

inet_cidr

CIDR library for Elixir that is compatible with Erlang's :inet and supports both IPv4 and IPv6

508ElixirApache-2.0

jlink.online

Build optimized Java runtimes in your browser!

507GoApache-2.0

430 / 596 页,共 14294 个项目