Awesome collection for LADE-Large Architecture Digitalize Evolutionary
☆16Dec 11, 2019Updated 6 years ago
Alternatives and similar repositories for awesome-LADE
Users that are interested in awesome-LADE are comparing it to the libraries listed below
Sorting:
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- A browser extension that enhance your paper writting with ChatGPT☆27May 14, 2024Updated last year
- Template for Underscore eBooks☆28Jan 7, 2018Updated 8 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- Mixin classes and traits dynamically☆10Sep 4, 2017Updated 8 years ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- An LLM-based LS implementation that makes use of tree-sitter context to perform code actions☆16Sep 6, 2024Updated last year
- a TodoMVC client which uses TodoBackend to store its todos.☆13Jul 27, 2018Updated 7 years ago
- Demonstrates various usage scenarios for @html binding macro.☆10Dec 10, 2020Updated 5 years ago
- Cli tool to pass arguments to nix flakes☆10May 6, 2024Updated last year
- ☆16May 16, 2025Updated 9 months ago
- A minimal Nix library for package-lock.json☆11Apr 30, 2025Updated 10 months ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- Convert any value to code☆12Jul 1, 2023Updated 2 years ago
- MetaPerceptron: A Standardized Framework For Metaheuristic-Driven Multi-layer Perceptron Optimization☆15Jun 4, 2025Updated 9 months ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago
- Haxe, hacked to support Ruby☆21Jan 7, 2018Updated 8 years ago
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- ☆10Apr 13, 2017Updated 8 years ago
- Zero-cost Abstractions in Scala☆10Nov 7, 2017Updated 8 years ago
- Proof of concept of a "linker plugin" enabling some reflection for Scala.js☆12Oct 18, 2016Updated 9 years ago
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- My personal neovim config☆12Updated this week
- Memcached client for Scala☆50Jun 17, 2017Updated 8 years ago
- Book "Move Patterns: Design Patterns for Resource Based Programming"☆14May 29, 2024Updated last year
- A cross platform Haxe implementation of the WebKit console API supporting logging, debugging and profiling. Currently supports AVM2, Java…☆50Oct 5, 2016Updated 9 years ago
- Scala-Java interoperability examples☆11Sep 28, 2015Updated 10 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- Test that your DOM nodes / HTML elements match your expectations in a type-safe way☆14Jan 25, 2026Updated last month
- ☆17Jan 18, 2024Updated 2 years ago
- Python wrapper for dbt-core to extend dbt with custom Python.☆18Jan 6, 2026Updated last month
- Authenticate with GitHub from the command line.☆17Dec 18, 2020Updated 5 years ago
- java-callgraph-spoon，使用静态分析工具spoon构造方法调用图callgraph ，源代码方法级别☆15Oct 31, 2023Updated 2 years ago
- Reactive HTML templating☆12Feb 15, 2026Updated 2 weeks ago
- interactive ascii call graph☆13Jan 11, 2026Updated last month
- A provisioner for my MacBook Pro.☆12Jul 14, 2019Updated 6 years ago
- Interprocedural Static Analysis Engine for Scala☆20Mar 8, 2013Updated 12 years ago
- Painless globals in Rust 🔭🌍✨☆13Dec 21, 2022Updated 3 years ago