Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus
☆13Sep 19, 2016Updated 9 years ago
Alternatives and similar repositories for math-logic-ebbinghaus
Users that are interested in math-logic-ebbinghaus are comparing it to the libraries listed below
Sorting:
- Yongwei's Vim fork for Win32 build☆27Updated this week
- A key-value based store for all your things☆11Nov 28, 2017Updated 8 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- Small simple projects using zetes library☆35Jul 25, 2015Updated 10 years ago
- A boilerplate using pug, less and webpack 2 for building multi-page website☆10Sep 12, 2017Updated 8 years ago
- My PwSH prompt☆11Feb 27, 2025Updated last year
- forerunner of ydiff - a structural comparison tool for Python☆14Jul 6, 2013Updated 12 years ago
- wechat drop down menu☆13Jun 17, 2017Updated 8 years ago
- Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."☆10Nov 26, 2022Updated 3 years ago
- ☆11Nov 7, 2025Updated 3 months ago
- A Schematron tutorial, presentation and sample files.☆14May 1, 2020Updated 5 years ago
- Daily kata from the Little Typer☆13Dec 28, 2018Updated 7 years ago
- ☆13Jul 17, 2024Updated last year
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 2 months ago
- Measuring the latency of cloud drive solutions - because it matters when you're collaborating☆11Mar 4, 2018Updated 8 years ago
- Tarix Tar Indexer☆14Dec 21, 2018Updated 7 years ago
- A collection of puredata patches to help audio synthesis and experimentation.☆18Mar 30, 2017Updated 8 years ago
- IETF Drafts and Standards☆13Oct 9, 2018Updated 7 years ago
- A modern http(s) benchmark tool☆14Jan 27, 2019Updated 7 years ago
- Alternatives to this project.☆13Nov 25, 2014Updated 11 years ago
- C++ wrapers to simplify working with the JsRT interface to the Chakra JavaScript engine.☆16Nov 16, 2015Updated 10 years ago
- Xamarin port of SnapKit, an autolayout DSL for iOS.☆12Jun 23, 2017Updated 8 years ago
- DEPRECATED IN FAVOR OF https://github.com/kaliber5/ember-bootstrap☆14Mar 16, 2018Updated 7 years ago
- Have you switched (like me) from OSX to Windows 10 and now you miss the file tagging? Have no fear, this AHK script will make it all bet…☆11Nov 22, 2015Updated 10 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆11Feb 16, 2026Updated 2 weeks ago
- Playground of https://github.com/reviewdog/errorformat☆13Feb 25, 2026Updated last week
- ☆10May 3, 2017Updated 8 years ago
- PLCT实验室2019年开放日资料（OpenDay-2019）☆11Dec 20, 2019Updated 6 years ago
- ☆10May 26, 2016Updated 9 years ago
- Semantic diff for markdown☆16Feb 20, 2015Updated 11 years ago
- The Extensible Connection-oriented Messaging (XCM) library.☆19Jan 29, 2026Updated last month
- A WPSessions demo/walk-through for using CMB2 to power your project's fields☆11May 26, 2015Updated 10 years ago
- daily Verse iOS App☆13Jan 4, 2020Updated 6 years ago
- A memory vfs implementation for SQLite☆16Jan 17, 2018Updated 8 years ago
- A record of reading list on some MLsys popular topic☆22Mar 20, 2025Updated 11 months ago
- ☆14May 26, 2021Updated 4 years ago
- General-purpose utility library for Swift☆12Feb 17, 2025Updated last year
- Learing the Red language: links, examples and practice☆16Oct 6, 2016Updated 9 years ago
- Just a demo of using IPython to learn a subject, test some ideas, and make notes. The codes here are very very ugly and with no decent al…☆12Mar 4, 2015Updated 11 years ago