A textbook for philosophy classes on probability & inductive logic
☆11Sep 8, 2021Updated 5 years ago
Alternatives and similar repositories for vip
Users that are interested in vip are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Truth table generator, (basic) proof builder, and more, built with Next.js and Ohm☆24Dec 17, 2023Updated 2 years ago
- A Lua Filter to convert directly markdown into bootstrap components (cards, jumbotrons, carousels, accordions) using Pandoc☆20Aug 20, 2022Updated 4 years ago
- Source for textbook https://github.com/jweisber/vip☆48Mar 16, 2023Updated 3 years ago
- FIX (Foreign Information Exchange) protocol implementation for Erlang☆11Dec 16, 2017Updated 8 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆22Apr 13, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Clojure library to lift functions into protocols☆12May 24, 2024Updated 2 years ago
- render raster images to terminal☆14Mar 7, 2016Updated 10 years ago
- Early and in progress scripting suite for Swift apps☆14Feb 10, 2022Updated 4 years ago
- Transcription features for NeoVim☆12Feb 7, 2019Updated 7 years ago
- This plugin will allow you to navigate seamlessly between Vim/Neovim splits and native mac os windows managed by chunkwm using a consiste…☆13Nov 7, 2018Updated 7 years ago
- Kingul: Korean Keyboard for Kindle E-readers☆15Jan 26, 2025Updated last year
- mount hfs (HFS, HFS+, HFSX) usb/sd on iOS without iFile☆12Sep 9, 2015Updated 11 years ago
- Emulador de MVS (Neo-Geo)☆15Jan 26, 2015Updated 11 years ago
- csv grammar for tree-sitter☆12Sep 13, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A small mod board for the GDP Pocket to add a tiny internal USB hub for various purposes.☆13Oct 10, 2017Updated 9 years ago
- Drop-in library for tracking the memory allocations of CUDA applications☆14Nov 17, 2017Updated 8 years ago
- Spaced repetition algorithm for flashcard review☆11Apr 9, 2019Updated 7 years ago
- Hikaru no Go, GBA translation☆14Sep 15, 2017Updated 9 years ago
- my panzer support directory☆11Feb 12, 2019Updated 7 years ago
- hep-analysis aims to reproduce the traditional data-analysis workflow in high-energy physics using Python.☆10May 22, 2018Updated 8 years ago
- Write pandoc markdown in OverLeaf☆12Sep 28, 2022Updated 4 years ago
- Heterogeneous Earliest Finish Time (or HEFT) is a heuristic to schedule a set of dependent tasks onto a network of heterogeneous workers …☆12Feb 3, 2014Updated 12 years ago
- A simple template for TensorFlow's highly efficient CudnnLSTM module☆11Jun 8, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Binderize version of LIGO GW150914 tutorial☆11Oct 3, 2017Updated 9 years ago
- Java implementation of FIX Protocol☆12Oct 13, 2020Updated 6 years ago
- TikZ version of the standard model graphic from particle fever☆11Apr 23, 2020Updated 6 years ago
- ZotCurve is a tool for UCI students to see grade distributions from previous classes.☆18Jan 7, 2020Updated 6 years ago
- Repository for AI model benchmarking on TT-Buda☆15Feb 9, 2026Updated 8 months ago
- playground for generative models☆12Jun 23, 2024Updated 2 years ago
- A preemptive fixed priority driven Rate Monotonic scheduler has been implemented using python☆10Mar 3, 2021Updated 5 years ago
- Markdown syntax for HTML Details Tag with support across interactive (html) and non-interactive (latex, typst, word, ...).☆17Dec 28, 2025Updated 9 months ago
- Un thème pour créer un diaporama avec MARP☆42Sep 5, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A python script that looks for special lines in a markdown file and uses those lines to convert, clean up, and insert content from URLs i…☆16Dec 9, 2012Updated 13 years ago
- ☆14May 9, 2021Updated 5 years ago
- Example Linux Kernel Modules Source Code☆14Aug 1, 2017Updated 9 years ago
- A mdbook preprocessor that allows the re-usability of template files with dynamic arguments☆14Apr 8, 2024Updated 2 years ago
- Plot with matplotlib using ATLAS style☆12Jun 23, 2020Updated 6 years ago
- Decentralized Personal Website. Zero config. Zero fee. Zero headache. Powered by Blockstack.☆10Jan 7, 2023Updated 3 years ago
- C++ "spatial" logging system which targets versatile, (de)clutchable, _debugging_, in a single header.☆17Mar 28, 2026Updated 6 months ago