Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
58,632 visible repositories in the index
529–552 of 575 · Most stars
This repository is used for the primary Sitecore Edge for Content Hub and Experience Management
a tutorial on ThreeJS post processing
A collection of short notes about Nix focusing on what is immediately needed by users.
Workshopper for learning JavaScript.
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
A simple author handler for scientific writing
- authors
- r
- preprint
- contribution
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Example Python Application for OAuth2
A port of ping crm demo to Imba, node and edgedb using imba and node inertia adapters
Experiment with scene kit and swift
A tutorial for cl-collider, a Common Lisp interface to the SuperCollider synthesis server.
- cl-collider
- tutorial
- supercollider
- synthesis
🗺️ Developer Roadmaps — 20 career paths, 870+ topics, 1,880+ free resources. PWA, certifications, community-driven. Your free guide from beginner to senior dev.
SXA Reference is an example Sitecore project build on top of Sitecore Experience Accelerator.
- sitecore
- sxa
- reference
- example
ActualLab.Fusion Samples are here. Skip SignalR and gRPC. Build real-time Blazor and MAUI apps while writing just 0.1% of the usual real-time update code. Handle 10× more API requests with the ActualLab.Rpc protocol—or 1000× more with Fusion’s transparent and perfectly coherent caching.
This is a repository listing companies which offer full-time remote jobs with Portuguese 🇵🇹 contracts
- job
- portugal
- remote-jobs
- empregos
The open-source map of the AI developer tooling ecosystem
:sparkles: A curated walkthrough to start your journey as a blockchain developer and become an Algorand Pro 0️⃣ -> 🦸🏼♂️
Tired of screen fragmentation? AppDimens is the unified solution for responsive, pixel-perfect UI across all platforms and devices. It offers adaptive scaling (SDP, SSP, Dynamic, Fixed) for Kotlin, Compose, XML Views, Swift, and SwiftUI, ensuring layouts and fonts scale perfectly from the smallest to the largest device.
📊⌨️ Update a pinned gist to contain your latest TypeRacer races
- typeracer
- pinned-gist
- github-gist
- gistbox
Jump consistent hash implementation in Elixir (without NIFs)
In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.
- swift
- swift3
- playgroundbook
- geometry
TranslatedArcGIS Developers development resource collection
Support your Meteor community!