Arithmetic and logical expressions modeled and visualized using protocol-oriented binary trees. 🌳
Repository Index
80,339 visible repositories in the index
649–672 of 841 · Most stars
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Find primary sources online and learn how to research history digitally.
- digital-history
- history
- historian
- awesome
A curated list of awesome applications, macros, 3D printed cases, guides, and more for the Adafruit rp2040 MacroPad.
- macropad
- rp2040
- adafruit
- macros
A deep dive into the Ember JS runloop.
- ember-framework
- javascript
- ember-runloop
- runloop
Sample application for Phalcon Framework (Acl, Auth, Security)
- php
- phalcon
- vokuro
- sample
A curated list of awesome Fuse applications, articles, and plugins
Cross-platform Single Page Applications with ASP.NET Core, Angular 4 & TypeScript
Sample application for the Phalcon PHP Framework
- invo
- php
- phalcon
- sample
A Web Application for Learning OCaml
- ocaml
- teaching
- learn-ocaml
EventStorming workshop, this is a hands-on workshop. Contains such topics: DDD, Event storming, Specification by example. Including the AWS product : Serverless Lambda , DynamoDB, Fargate, CloudWatch.
- aws
- eventstorming
- ddd
- serverless
:shipit: An opinionated example application built with Marionette.js.
Awesome information for WebSockets security research
Lightweight and Extensible Infrastructure for Building Web Applications - Web Application Framework
- dotnet-core
- efcore
- aspnet-core
- solid
A curated list of resources dedicated to Natural Language Processing (NLP) in polish. Models, tools, datasets.
Statistical Analysis of Network Data with R, 2nd Edition
A full-stack .NET microservices build on Dapr and Tye
- dotnet-core
- graphql
- mediatr
- clean-architecture
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
Cilium Certified Associate Certification Study Guide
DDD like architecture sample application
- clean-architecture
- layered-architecture
- go
- ddd
This source code distribution is a companion to the AWS Lambda in Action book available from Manning Publications.
A curated list of awesome programming, development, technical support and discussion channels, groups, communities, resources and other shiny things
- awesome
- community
- groups
Sample Express application for AWS Elastic Beanstalk
The Everything is Real-Time C# Backend for Single Page Applications
- realtime
- push
- websocket
- webapp