kolya-vasiliev / logical-foundations-2018View external linksLinks
My solutions to exercises in "Logical Foundations" (2018-2019)
☆11Apr 11, 2019Updated 6 years ago
Alternatives and similar repositories for logical-foundations-2018
Users that are interested in logical-foundations-2018 are comparing it to the libraries listed below
Sorting:
- ☆10Sep 7, 2016Updated 9 years ago
- ☆10Apr 27, 2021Updated 4 years ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- ☆12Nov 26, 2024Updated last year
- 📖 This tool is to download course from educative.io for offline usage. It uses your login credentials and download the course.☆11Jul 16, 2020Updated 5 years ago
- A step-by-step introduction to ROS2 on the Create3.☆10May 20, 2022Updated 3 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- This is the global manifest for Parrot Ground SDK.☆11Jun 6, 2023Updated 2 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- Mathematical Analysis (et analyse fonctionnelle)☆14Feb 1, 2022Updated 4 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A rust operating system for the ARM V7-A running on a beaglebone black☆12Mar 11, 2021Updated 4 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Repository for the course "Sensor Fusion and Non-Linear Filtering" - SSY345 at Chalmers University of Technology☆12May 19, 2019Updated 6 years ago
- ot-coq☆17Sep 5, 2023Updated 2 years ago
- ☆10Jan 4, 2022Updated 4 years ago
- Adds macros for vim mode plus☆12Dec 16, 2019Updated 6 years ago
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated last year
- Documentation of Project Poi☆10Apr 12, 2018Updated 7 years ago
- wavedrom to verilog converter☆17Sep 14, 2021Updated 4 years ago
- Homebrew environments manager☆12Sep 17, 2019Updated 6 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆16May 28, 2024Updated last year
- [AAAI 2025] The official code of the paper "InverseCoder: Unleashing the Power of Instruction-Tuned Code LLMs with Inverse-Instruct"(http…☆14Jul 10, 2024Updated last year
- ☆16May 8, 2024Updated last year
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆23Aug 19, 2025Updated 5 months ago
- a bare metal example with a simple printf implementation for RPi Zero☆13Feb 4, 2021Updated 5 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 11 years ago
- ☆17Jul 12, 2025Updated 7 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- Repository for the course "Sensor Fusion and Non-Linear Filtering"☆13Mar 24, 2020Updated 5 years ago
- An experimental mutual induction tactic for Lean 4.☆22Jan 12, 2026Updated last month
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.☆13Feb 24, 2017Updated 8 years ago
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 2 months ago