Bitset data structure
- bit-twiddling
- bit-array
- data-structures
- bitset
Repository Index
47,133 repositories indexed
73–96 of 115 · Most stars
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
How to build an analytics agent that gets your business numbers right: metrics from your analysts' SQL, a golden set of real questions, improvement loops
An Awesome List about everything related to Symbian OS. Documentation, academic papers, tutorials, communities, IDEs, SDKs, emulators, apps, video games.
- n-gage
- ngage
- nokia
- symbian
Detailed guide for how to get started with beatoraja or BMS in general. -- For example: What is BMS, How do I set it up, Where do I download songs, How does the community work, How does the difficulty system work
A starter project that sets up axum and yew for full stack Rust web apps.
In addition to http://youmightnotneedjquery.com/ this is a list of commonly used plugins without dependencies
WebApi toolset that allows you to make CRUD REST APIs with one line of code and to create gRPC and SignalR from reusable components too
- library
- web-application
- webapi
- webapi-core
Containers backed by std.experimental.allocator
- d
- containers
- data-structures
- double-linked-list
Auto-optimizing a neural net (and its architecture) on the CIFAR-100 dataset. Could be easily transferred to another dataset or another classification task.
- hyperopt
- hyperparameter-optimization
- hyperparameter-tuning
- hyperparameters-optimization
Probabilistic set data structure
- bloom-filter
- data-structures
- go
This repository is used to share Sitecore demo assets with external contributors and partners
Let's learn Algorand!
A set of integration demos using eosjs and Scatter
- eos
- eosio
- blockchain
- decentralized-applications
Fast cartesian product
- cartesian
- cartesian-product
- performance
- sets
A Simple Example for Imitation Learning with Dataset Aggregation (DAGGER) on Torcs Env
- tensorlayer
- dagger
- gym-torcs
- imitation-learning
:camera: :video_camera: :scissors: An Ionic 2 app that shows how to use the cordova-plugin-video-editor and cordova-plugin-instagram-assets-picker plugins.
:sunglasses: A curated list of awesome {Less}
- lesscss
- awesome
- awesome-list
- less
Way to set heartbeat interval and the User receive PushNotifications from GCM. Based on related post in Google Forums about HeartBeat problem.
- android
- solution
- gcm
- heartbeat-problem
minimum elm + phoenix setup, with webpack
PoC for using Vert.x in EC2. Using the event bus bridge to Node. Setting up clustering in EC2. Possibly more.
Community list of shared micromobility APIs, apps, datasets, research, and software
Using Haxe with FuseTools is possible - maybe even useful?!
Examples of scripts for accounts, dApps and assets using RIDE programming language.
- ride
- smart-contracts
- dapp-example
- dapp