多码网
返回分类

编程语言

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

17174 个源码项目

GTFS-PLUS

A GTFS-based data transit network data standard suitable for dynamic transit modeling.

2312Jupyter NotebookApache-2.0

LibHyps

A Coq library providing tactics to deal with hypothesis

233Rocq ProverMIT

PolyORB

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

2314AdaNOASSERTION

PreForM

PreForM.py, Preprocessor for Fortran poor Men

238Python

SEXML

extensible library for outputting XML based on DTDs and s-expressions

235Common Lisp

ada-security

Ada Security - OAuth 2.0 client and server framework to secure web applications

231AdaApache-2.0

asdf

JSON library

2310DBSL-1.0

awscr-signer

AWS request signing in Crystal

2316CrystalMIT

booter

Boot an Elixir application step by step (inspired by RabbitMQ)

23ElixirNOASSERTION

burocracia.cr

👔 Zero-dependency Crystal shard to validate, generate and format Brazilian burocracias (CPF, CNPJ, CEP)

235CrystalMIT

capacitor-google-fit

Capacitor plugin to interact with Google Fit

2318JavaMIT

cl-ssh-keys

Common Lisp system for generating and parsing of OpenSSH keys

231Common LispNOASSERTION

cmake_check

Static analysis for CMake files.

234TypeScriptMIT

console

Allows for the creation of CLI based commands

231CrystalMIT

cuda

暂无描述

236Ada

decimal-object

Decimal handling as value object instead of plain strings.

238PHPMIT

depcharge

DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.

235GoMIT

err-backend-discord

Backend for Discord for Errbot

2322PythonGPL-3.0

excellent

Excel Parser written in Elixir (currently only Excel 2000)

234ElixirApache-2.0

firebase-remote-config

暂无描述

2337TypeScriptMIT

frege-idea-plugin

Language support for the Frege programming language in IntelliJIDEA (currently experimental)

235Java

gen_task

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

231ElixirMIT

go-imgur

Go library to use the imgur.com API

2310GoMIT

go-req

Declarative golang HTTP client

233GoMIT

586 / 716 页,共 17174 个项目