The repository host gives no description.
- codelab
Repository Index
47,133 repositories indexed
265–288 of 370 · Most stars
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
a nodeschool.io-style workshopper for learning how to debug Node.js apps
A collection of awesome papers, articles and various resources on credit and credit risk modeling
- credit-scoring
- credit-modeling
- financial-machine-learning
- sample-selection
A drop-in replacement for std::list with 293% faster insertion, 57% faster erasure, 17% faster iteration and 77% faster sorting on average. 20-24% speed increase in use-case testing.
a curated list of useful threat modeling resources
- threat-modeling
- security
- risk-assessment
Use this sample when creating a simple pipeline in AWS CodePipeline while following the Simple Pipeline Walkthrough tutorial. http://docs.aws.amazon.com/codepipeline/latest/userguide/getting-started-w.html
Bitset data structure
- bit-twiddling
- bit-array
- data-structures
- bitset
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
A curated list of smart :tv: frameworks, libraries, software and resources.
- smart-tv
- awesome-list
Bolei's archive on generative modeling
I love to teach dotnet concepts in a simple way with real world examples to people who aspire to to be a dotnet developer. I also help developers to refresh their memory with easy to understand analogy.
- dotnet
- csharp
- linq
- blazor
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
Collections of links based on the topics included in the Symfony 3.0 certification exam
- php
- certification
- symfony3
- symfony
The code repository for the prototypes included in the eBook "Inspired EHRs - Designing for Clinicians" (inspiredEHRs.gov). The code of the prototypes is made available under the Apache 2.0 open source license. This license agreement allows anyone to freely use the code and ideas presented in this book, subject to the conditions listed at http://opensource.org/licenses/Apache-2.0.
- healthcare
- ehr
- open-source
- electronic-health-record
A collection of awesome online javascript books.
A collection of containers & algorithms for the Crystal programming language
- crystal
- algorithms
Modeling and Proving in Computational Type Theory
TranslatedC++ matrix multiplication performance experiments: from triple loops to blocking optimization and systolic arrays — an undergraduate introductory showcase project in the AI chip (NPU) direction
Making online learning fun and easy.
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
Some very simple examples to get you started with the Line-us API
- gcode-commands
- drawing
- robot
- drawing-machine
Guidelines for designing REST APIs at Cisco
A playground demoing how to use Accelerate & Swift for Linear Algebra (vector/matrix manipulations)