a tool for handling file uploads simple
- file
- upload
- multipart
- http
Repository Index
71,372 visible repositories in the index
697–720 of 920 · Most stars
GTK+ 3.x manual wrapper for V
Simple and performant utilies using Go generics inspired by JavaScript and Python
- golang
- go
- utilities
- generics
Parser for ABNF Grammars
Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it
- goroutine
- crontab
- job-scheduler
- retry
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Parser generator toolset for Delphi (Yacc & Lex)
Parse placeholder and wildcard text commands
- parsing
- go
- golang
- text
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
Node module that is bridged with the Java Hapi HL7 library.
- hl7-parsing
- hl7-message
- hit
- healthcare
Lightweight promises for iOS, macOS, tvOS, watchOS, and Linux
Generalized folds, unfolds, and traversals for fixed point data structures
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Macro for tapping into a pattern match while using the pipe operator
OCaml bindings to MariaDB, supporting the nonblocking API
Keras4Delphi is a high-level neural networks API, written in Pascal with Python Binding
- keras
- keras-neural-networks
- pascal
- delphi
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
Generate Yew components from React components via Typescript type definitions
- yew
- proc-macro
- react
- typescript
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.