☆11Dec 14, 2023Updated 2 years ago
Alternatives and similar repositories for teaching-material
Users that are interested in teaching-material are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Deposit smart contract in Dafny☆24Sep 9, 2021Updated 5 years ago
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- A little KV store implementation in OCaml to practice DB systems things☆33Jan 21, 2026Updated 8 months ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- For hosting ATS3 and developing CodeDepot☆19Oct 2, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 4 years ago
- The Pulse separation logic DSL for F*☆36Sep 21, 2026Updated 3 weeks ago
- ☆25Apr 21, 2021Updated 5 years ago
- Simple Raycasting Example in Lean4 using SDL3☆21Oct 9, 2026Updated last week
- A sleek and minimal theme for Obsidian.☆16May 23, 2026Updated 4 months ago
- ☆14Sep 7, 2025Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- ☆22Oct 1, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- lean-related presentations☆18Jun 4, 2026Updated 4 months ago
- A web app that can improve your study experience in University of Manchester☆19Apr 15, 2023Updated 3 years ago
- ☆24Dec 9, 2024Updated last year
- The 1st Golang challenge in Erlang☆11Mar 19, 2015Updated 11 years ago
- Experimental functional language☆17Dec 24, 2025Updated 9 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Rebar3 Plugin for building & deploying AWS Lambda functions implemented in Erllambda☆15Apr 9, 2026Updated 6 months ago
- CLI tool for react native to generate app icons based on an image, Both Android and IOS are supported☆12Jan 24, 2024Updated 2 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 一个方便快捷的Selenium WebDriver Docker部署脚本☆25Jul 29, 2025Updated last year
- Demonstrate the use of ruster_unsafe, a crate for creating Erlang NIF modules in Rust.☆10Mar 20, 2016Updated 10 years ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Tutorial for writing an LLVM backend☆33May 19, 2025Updated last year
- A meta-tracing JIT☆15Updated this week
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- A terminal for typora☆14Apr 20, 2026Updated 5 months ago
- Shapeshift between package formats☆14Dec 19, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- [JJIT2018] Official repository for "Braille to Text Translation for Bengali Language: A Geometric Approach"☆11Nov 6, 2025Updated 11 months ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Advent of Code 2020 solutions in Lean 4☆25Jan 5, 2021Updated 5 years ago
- Golang package for CS:GO RCON Protocol client. Also support other games using the protocol (Source Engine games, Minecraft, etc.)☆26Feb 24, 2023Updated 3 years ago
- [UNMAINTAINED] Free 1-vs-1 soccer game for Android☆15Mar 20, 2014Updated 12 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- Forth implementations in Go and C☆23Aug 22, 2025Updated last year