1834 Open source projects that are alternatives of or similar to Coq Ext Lib

Lightweight curried functional programming library

A SwiftUI package to beautifully display and handle permissions.

The easiest way to observe values in Swift.

A fully-featured, powerful circular slider for iOS applications

A SuperCompiler for Martin-Löf's Type Theory

Daily Programming Challenges

PeaCoq is a pretty Coq, isn't it?

Interview preparation kit of hackerrank solutions

A golang WebDAV client library and command line tool.

The Julia Discord API Wrapper

ngx-api-utils is a lean library of utilities and helpers to quickly integrate any HTTP API (REST, Ajax, and any other) with Angular.

C++ command line parsing library

Entity Component System library for javascript

A simple, concise, colorful logger for Go

A javascript implementation of the Catmull-Clark subdivision surface algorithm

Pure-python library for adding annotations to PDFs

(Minecraft) NPCLib – Basic non-player character library.

A collection of various articles and books I've are worth revisiting.

small C GIF decoder

🚧 Flexible mechanism to make execution flow interruptible.

A fuzzing library in JavaScript. ✨

手动实现简单的身份证数字键盘

I got the original code from douo here - gist.github.com/douo/dfde289778a9b3b6918f

💧 A slider widget with a popup bubble displaying the precise value selected. Android library made by @Ramotion

Custom Dropdown for Angular 4+ with multiple and single selection options

🤖 CDN assets - The #1 free and open source CDN built to make life easier for developers.

📄 Create word documents with React

🎨 Mirror of colored library repository

Soundcloud.com API wrapper written in PHP with OAuth2 support.

An android view to represent data over a timeline.

Python module to read KeePass 1.x/KeePassX (v3) and KeePass 2.x (v4) files

Markdown editor (input) based on React

Clash of Clans library, proxy and server written in .NET [Unmaintained]

Utopian.io Frontend - Utopian wants to reward open-source contributors!

Sphinx-based Password Storage low-level library

Write amazing, strong-typed and easy-to-read NSPredicate.

A React wrapper for GrapesJS library

The Hoa\Eventsource library.

Serverless batch computing made simple.

Generate a schematic map (“metro map”) for a given (transit) network graph using Mixed Integer Programming.

Php library for amazon echo (alexa) skill development.

Python implementation of Protocol Buffers data types with dataclasses support

An Utility CSS only library. It supports css grid and many more useful css properties.

A library for writing system daemons in golang.

An Angular 2+ scaffolding setup for creating libraries

📓 Command line tool to create a React Native library with a single command

Java autocomplete library.

Easy to Use ESP8266 DDNS Update Client Library.

A collection of pure CSS flags, all single divs.

My collection of rare and maybe very useful functions

Node library for the Amadeus Self-Service travel APIs

Library for reading and writing chemistry files

😏 📄 An awesome list of educational websites, YouTube playlists, channels and books about programming

Fast key-value DB in Go.

A collection of easy to use and extendable DialogFragment's for Android

PHP library to parse reStructuredText documents

Broadcasting library for Go. Broadcast message of any type on a set of channels. WIP

Expanding opportunities standard library std::fs and std::io

A modern way to filter things in your iOS apps