Some lecture notes of the research group
☆14Aug 26, 2021Updated 4 years ago
Alternatives and similar repositories for lecture-notes
Users that are interested in lecture-notes are comparing it to the libraries listed below
Sorting:
- A framework to build projectional editors running in the browser☆14Sep 29, 2023Updated 2 years ago
- My dabbling with Pierce's languages in Haskell☆22Feb 4, 2011Updated 15 years ago
- GraphQL schema directives to generate CRUD queries, mutations and resolvers which are automatically connected to a database.☆20Dec 8, 2022Updated 3 years ago
- Gentleman is a lightweight web-based projectional editor that allows you to create and manipulate models.☆18Nov 16, 2025Updated 4 months ago
- ☆21Dec 7, 2023Updated 2 years ago
- Ecore for JavaScript☆70Jun 1, 2018Updated 7 years ago
- Eclipse Modeling Framework for C++☆47Apr 9, 2021Updated 4 years ago
- Rust client library for @tailscale.☆11Oct 5, 2022Updated 3 years ago
- A GraphQL SDL lexer, parser, and validator that can read GraphQL grammar and produce executable JVM runtime objects.☆21Oct 30, 2023Updated 2 years ago
- wall time exex for reth☆12Aug 5, 2024Updated last year
- A prototypical implementation of the elm language (https://elm-lang.org/) in JetBrains MPS (https://www.jetbrains.com/mps/), sporting a p…☆22Nov 28, 2022Updated 3 years ago
- The Melange Language Workbench☆30Aug 18, 2023Updated 2 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Oct 21, 2022Updated 3 years ago
- Rust client library for Flashbot's mev-share.☆20Apr 19, 2023Updated 2 years ago
- String Distances in rust☆14Nov 21, 2022Updated 3 years ago
- Software Language Engineering Body of Knowledge☆48Feb 17, 2020Updated 6 years ago
- unofficial rust bindings for the kaggle api☆10Feb 1, 2025Updated last year
- Rust wrapper for the Airtable API☆13Jul 21, 2019Updated 6 years ago
- A C++ library for working with OWL2 ontologies.☆12Jan 26, 2016Updated 10 years ago
- A Theia Application with DSL support through an Xtext Language Server☆29Sep 8, 2022Updated 3 years ago
- rust implementation fo the DHT powering the HyperSwarm stack☆18Apr 1, 2022Updated 3 years ago
- ☆18Feb 7, 2021Updated 5 years ago
- A simple Rust library for efficiently solving ODEs without cloning☆12Jun 26, 2019Updated 6 years ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19May 31, 2024Updated last year
- ☆11Mar 6, 2026Updated 2 weeks ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20May 7, 2023Updated 2 years ago
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 8 months ago
- data availability service for DAT☆17Jun 10, 2024Updated last year
- Heap memory usage estimation☆19Jan 10, 2024Updated 2 years ago
- Safe* C foreign function interface for Rust, using proc macros and marshaling types.☆17Dec 14, 2025Updated 3 months ago
- Developer kit for implementing Domain Specific Languages with Xtext. Format, Check, Export and Scope languages of DSL Developer Kit stand…☆45Mar 13, 2026Updated last week
- Prototype risk modeling simulation for Portfolio using Arbiter.☆20Aug 4, 2023Updated 2 years ago
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Feb 21, 2025Updated last year
- Ethereum token list standard☆11Feb 27, 2025Updated last year
- Distributed Ledger for the people ✊☆13Nov 24, 2019Updated 6 years ago
- inscriptions lol☆16Dec 24, 2023Updated 2 years ago
- YAKINDU Statechart Tools (http://www.statecharts.org)☆188Jan 5, 2021Updated 5 years ago
- 🦀 celestia-node REST client in Rust.☆18Jul 4, 2022Updated 3 years ago