GiraffeReversed / edulintLinks
EduLint is a Python linter aimed at helping novice programmers improve their coding style.
☆11Updated 2 months ago
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
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Updated last year
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- ☆19Updated 8 years ago
- A tool for reversible computation in C++ based on incremental state saving.☆22Updated 5 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 7 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A tool for testing C compilers automatically☆21Updated 9 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Updated 4 years ago
- A library for binary analysis and rewriting☆49Updated 2 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆19Updated 4 years ago
- Reference sheet for the Coq language.☆15Updated 5 years ago
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Updated 2 months ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Updated 4 years ago
- Isabelle LLVM Code Generator and Refinement☆28Updated last week
- Generation of mutant programs☆20Updated 7 years ago
- Spatial layout specifications for memory management systems.☆19Updated 5 years ago
- Python term rewriting☆30Updated 12 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Operations with matrices, SWI pack☆13Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Filesystem access tracer☆84Updated last year
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 3 weeks ago
- Mechanized Theory of Event Structures☆16Updated 2 years ago
- Stratified synthesis for learning machine code instruction semantics☆38Updated last month
- The formal proof of the Odd Order Theorem☆36Updated 2 weeks ago