A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Repository Index
47,133 repositories indexed
3,385–3,408 of 4,273 · Most stars
User management for Play! framework (authentication, registration, password management)
Using the Dojo Toolkit for MVC JavaScript applications
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
An Java-based app to communicate with Amazon Alexa for devices such as the Amazon Echo
Page-specific javascript for Rails applications with the ability of passing data.
An open source implementation of some of the applications from Larry Kroeker's DF-EDIT
Refinery CMS engine to manage copywriting, application wide or per pages with i18n.
Deep learning model for single-cell inference of multi-omic profiles from a single input modality.
- single-cell
- scrna-seq
- scatac-seq
- deep-neural-networks
The Blog built on pure Rust stack. Backend for graphql services, and frontend for web application.
- rust
- async-graphql
- mongodb
- rhai
Phraser is a phrase generator using n-grams and Markov chains to generate phrases for passphrase cracking. The generated phraselists can be used as wordlists in your favourite password cracking application.
The simplest way to display the librarie's licences used in your application.
Hackathon application and user information system
Fast, zero-allocation, lexicographic-order-preserving packing/unpacking of native Go types to bytes.
☯ The simplest signal library possible
A Kemal application generator
- kemal
- crystal
- shard
:school_satchel: Elm kit is web application boilerplate kit for development. This kit build on Brunch, Node, Sass, Elm-lang. It helps you to start development more productive following best practices.
- elm
- elm-lang
- kit
- brunch
Skeleton Application for Laminas API Tools
- hacktoberfest
Tiny, zero-allocation JSON serializer written in ANSI C
- json
- serializer
- zero-allocation
- ansi
Firebase Cloud Messaging for application servers implemented using the Go programming language.
- firebase
- fcm
- firebase-cloud-messaging
Elixir library to log custom application metrics, in a well-structured, human and machine readable format, for use by downstream log processing systems (Librato, Reimann, etc...)
- elixir
- metrics
- librato
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
A CakePHP plugin which allows you to authenticate using social providers like Facebook/Google/Twitter.
- cakephp-plugin
- social-providers
- middleware
- php
A powerful library extending VBA with over 100 functions for math, stats, finance, and data manipulation. It supports matrix operations, and user-defined functions, enhancing automation and analysis within Microsoft Office and LibreOffice environments for data management, financial calculations, an more.
- equation-systems
- mathematical-expression-parser
- mathematical-expressions-evaluator
- determinant-calculation