Materials & home works for IFMO'2018 logic course
☆26Oct 26, 2021Updated 4 years ago
Alternatives and similar repositories for logic2018
Users that are interested in logic2018 are comparing it to the libraries listed below
Sorting:
- Programming language☆13Dec 6, 2020Updated 5 years ago
- ☆22May 8, 2016Updated 9 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Hahn: A Coq library☆29Jun 25, 2024Updated last year
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆47May 29, 2022Updated 3 years ago
- Relation algebra library for Coq☆50Feb 17, 2026Updated 2 weeks ago
- Typst backend for matplotlib (Python visualization library).☆62May 17, 2025Updated 9 months ago
- Self-hosting F#-subset compiler☆48Feb 11, 2025Updated last year
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Oct 21, 2025Updated 4 months ago
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- 🌋 Endless runner game☆196Feb 4, 2022Updated 4 years ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆57Feb 18, 2026Updated 2 weeks ago
- Jupyter notebooks☆58Nov 15, 2025Updated 3 months ago
- Neovim editable commandline☆65Feb 26, 2025Updated last year
- An LLVM compiler for an ML-like language (written in Rust)☆62Feb 28, 2022Updated 4 years ago
- Navigate Org-mode outlines in Emacs via side window☆67Jun 1, 2024Updated last year
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆69Mar 31, 2025Updated 11 months ago
- A web-based version of the board game Yinsh☆76Dec 23, 2025Updated 2 months ago
- Amend the existing keymap in Neovim☆68Aug 23, 2023Updated 2 years ago
- A Nim data -> music library☆78Mar 16, 2023Updated 2 years ago
- Neovim plugin for ccls language server. Leverages off-spec extensions to LSP client with AST browser☆77Jan 9, 2025Updated last year
- My ~/.config/awesome directory☆128Jul 6, 2021Updated 4 years ago
- Plumatic Schema visualization using Graphviz.☆74Dec 1, 2016Updated 9 years ago
- Budget your time with org!☆76Jan 7, 2021Updated 5 years ago
- Compile Tex files easily☆92Nov 9, 2022Updated 3 years ago
- Not quite awesome...just some.☆241Updated this week
- Statistics visualizer for org-mode☆98Mar 7, 2024Updated last year
- Importi.fy — it's like Uber, but for Haskell modules.☆103Sep 2, 2018Updated 7 years ago
- Emacs interface to the buku Web bookmark manager.☆102Sep 21, 2024Updated last year
- Implementation of Pomodoro and Third Time techniques for Emacs☆94Dec 23, 2025Updated 2 months ago
- ⏲️ Effortlessly clock in/out of org-mode tasks, with completion and persistent history☆107May 22, 2024Updated last year
- An Emacs+Nix IDE☆119Feb 6, 2026Updated 3 weeks ago
- XChart wrapper for Clojure☆114Oct 13, 2017Updated 8 years ago
- Convenience functions to work with emacs org mode clocking from the agenda view☆128Jun 7, 2025Updated 8 months ago
- An experimental Lisp-like programming language☆165Feb 15, 2023Updated 3 years ago
- Code navigation sidebar for Neovim.☆142Aug 19, 2025Updated 6 months ago
- Programs and libs that I haven't gotten around to formally packaging☆155Feb 15, 2025Updated last year
- A versatile, clean and minimal template for non-fiction writing. Ideal for class notes, reports, and books.☆192Feb 5, 2026Updated 3 weeks ago
- Freedesktop.org menu and desktop icons support for Awesome WM☆139Oct 23, 2022Updated 3 years ago