GiraffeReversed / edulintLinks
EduLint is a Python linter aimed at helping novice programmers improve their coding style.
☆11Updated this week
Alternatives and similar repositories for edulint
Users that are interested in edulint are comparing it to the libraries listed below
Sorting:
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- A library for binary analysis and rewriting☆47Updated last year
- Galois Format Analysis Workbench☆21Updated last year
- Datalog + Egg = Good☆66Updated 2 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆19Updated 3 years ago
- ☆19Updated 8 years ago
- Stratified synthesis for learning machine code instruction semantics☆37Updated 2 weeks ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 7 months ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- A linter for Soufflé Datalog☆14Updated last year
- Code Continuity Analysis Framework☆22Updated 5 months ago
- An higher-level LLVM binding for OCaml☆14Updated 8 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆19Updated last year
- SPARK 2014 repository for the Why3 verification platform.☆32Updated last month
- 😇 Wholly Adaptive LLVM Optimizer☆28Updated 5 years ago
- TPTP linear logic version☆14Updated 7 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Benchmark repository of polyglot effect handler examples☆27Updated last week
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆17Updated 3 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago