Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
56,638 visible repositories in the index
505–528 of 555 · Most stars
📊 🌐 🧑🏫 Website for graduate-level course on program evaluation and causal inference using R, built with Quarto
- causal-inference
- program-evaluation
- quarto
- r
iOS reference app demonstrating inter-application transaction signing for EOSIO blockchain apps
DMG and CGB (Color Game Boy) tutorials for coding assembly games with RGBDS
▶️ An awesome list of awesome Brazilian YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
A comprehensive guide to debugging tools for modern, complex front-end applications. This handbook provides practical, real-world guidance on a complete suite of tools, from Chrome DevTools and framework extensions to integrated IDE debuggers.
- chrome-devtools
- chrome-devtools-mcp
- react-devtools
- redux-devtools
A currency computations package.
- go-library
- currency
- go-package
- currency-computations
Katas that are delivered incrementally - the full problem is not displayed at once, it is revealed when one part is done
A fully functional, deployable marketplace implementation using Balanced API for Rails
Distance Measurements are Awesome!
YouTube search app with ReactJS, Redux, and FP concepts
Hands on with the Swift Playgrounds for iPad :)
A comprehensive SQL syntax cheat sheet for quick reference, covering essential commands, functions, operators, and concepts across various database systems.
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Ruby Mixture with other Programming Languages
- ruby
- rubyml
- rubynlp
- rubydatascience
The repository host gives no description.
Introduction to Percussion Synthesis Using Web Audio tutorial from Web Audio Conference 2016 in Atlanta.
Linux tuning for CouchDB performance
- couchdb-performance
- couchdb
- linux-tuning
The repository host gives no description.
- artificial-intelligence
- blazor
- face-detection
- face-recognition
Advanced Starter GraphQL Next js Crud Mongodb
- graphql-boilerplate
- graphql-boilerplates
- graphql-example
- graphql-examples
A set of tools for teaching and learning computer science built with cycle.js
- computer-science
- teaching
- e-learning
- cyclejs
Sources for the Network Science Cheatsheets
An example of writing an external, simple Linux kernel module, in V.
- linux
- kernel-module
- vlang
- proof-of-concept
This repository is used for the primary Sitecore Edge for Content Hub and Experience Management