Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
47,133 repositories indexed
2,497–2,520 of 3,261 · Most stars
A demo project demonstrating pathfinding using a tilemap on the Godot Engine
Bundle allows you to create doctrine entities with fields that will be protected by encryption algorithms such as AES
A Simple Example for Imitation Learning with Dataset Aggregation (DAGGER) on Torcs Env
- tensorlayer
- dagger
- gym-torcs
- imitation-learning
Havok physics character controller using Babylon.js，Achieved walking, climbing stairs and up and down slopes
- babylonjs
- babylonjs-game
- third-person-controller
- babylonjs-character-controller
An example of a mobile-first responsive web design
Various Jupyter notebooks about Common Crawl data
- jupyter-notebook
- common-crawl
- aws-athena
- webarchiving
: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.
Exercises for the lecture "Selected Topics in Audio Signal Processing"
MicroPython libraries and example code for TinyPICO
A demo Music Store with Eclipse Vert.x and RxJava3
- vertx
- rxjava
- postgresql
- couchbase
:sunglasses: A curated list of awesome {Less}
- lesscss
- awesome
- awesome-list
- less
A visualizer for GTFS-realtime transit data.
Vulkan demos and tutorials.
Service layer implementation for CakePHP
- cakephp
- service
- services
- design-pattern
A companion Playground for the article "Swift Functors, Applicatves, and Monads in Pictures"
Samples for Draftjs
Blazor.BFF.AzureB2C.Template, Blazor WASM hosted in ASP.NET Core using Azure B2C BFF (server authentication) and Microsoft Graph
Simple demo of filtering signal with an LPF and plotting its Short-Time Fourier Transform (STFT) and Laplace transform, in Python.
- stft
- hanning-window
- laplace-transform
- fft
The Security Analyst’s Guide to Suricata
📊 🌐 🧑🏫 Website for graduate-level course on program evaluation and causal inference using R, built with Quarto
- causal-inference
- program-evaluation
- quarto
- r
A simple networked physics demo for the Godot engine using snapshot interpolation and UDP
This project shows how to create a web app using a React component inside a Yew component.
Multiplayer third person shooter example for Godot 3.2 game engine.