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

GC-free, high-performance D library: Containers, networking, metaprogramming, memory management, utilities

📚 盗取手机敏感信息，Android 6.0之上兼容

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

A Certified Interpreter for ML with Structural Polymorphism

EGEO is the open-source UI library used to build Stratio's UI. It includes UI Components, Utilities, Services and much more to build user interfaces quickly and with ease. The library is distributed in AoT mode.

Bookmarking for Developers & Co

Polyrhythmic Sequencer library for Web Audio API.

A mind map library for react that based on immutable.js.

👼 Extends AngleSharp with a .NET-based JavaScript engine.

A flexible, easy to use, unique drawer library for your Android project.

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

Code examples and references for the course "D3.js in Motion"

🎩 A flexible, lightweight bar component for common UI patterns in React Native

A Single-Page Library Management App built with nodejs, express and react and redux

Formal proof of the Four Color Theorem

About math, programming and procedural generation

Notifications library made with VanillaJS.

The CompCert formally-verified C compiler

Sphinx-based Password Storage low-level library

A small .NET math library.

1kb Markdown builder for Node.js

Fancy year and month picker library for your android app

Android library to create customizable floating animated toasts like in Clash Royale app

Android library to auto-play/pause videos from url in recyclerview.

Programming Exercises about Interesting Topics

Awesome library to customize corners of UIView and UIButton. Now you can customize each corner differently

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

A Javascript implementation of the Unicode 9.0.0 Bidirectional Algorithm

Library to use Android Camera2 api easily.

Angular 5 Library Starter Kit based on Angular-CLI

An in-display logging library for Android 📲

⚡️ LWC - A Blazing Fast, Enterprise-Grade Web Components Foundation

A Verified Compiler for Gallina, Written in Gallina

🎶 Markup language for music creation and analysis! -- https://hlorenzi.github.io/musicode/

A React wrapper for GrapesJS library

Java library for parsing schools' substitution schedules. Supports multiple different systems mainly used in the German-speaking countries, including Untis, svPlan, and DAVINCI

Event driven, easy-to-use button library for P5.js 👆

Smartisan style Dialog.

Coq Support for Visual Studio Code

Coq plugin for parametricity [[email protected]]

SoftwareFoundations(Ja)

a powerful android network library base on okhttp

The Hoa\Eventsource library.

A collection of Bash scripts and Dockerfiles to install data science Tool, Lib and application

Mirror of Apache POI

Express.js api, type safe validations and more

Official github repository for Fast Artificial Neural Network Library (FANN)

Turing complete with a stack of 0xdeadbeef

A Coq-based synthesis of Scala programs which are correct-by-construction

A python module to manipulate XCode projects

Serverless batch computing made simple.

Android Screenshot Watcher (Screenshot Detection)

Link preview for android

A cross-platform, linkable library implementation of Git that you can use in your application.

TIS-100 inspired low-tech computing in Minecraft.

A modern way to filter things in your iOS apps

The Hoa\Mime library.

This library offers a collection of different CSS-powered transitions.

⬢ Zsh User Interface library – CGI+DHTML-like rapid application development with Zsh