Alternatives and similar repositories for mathematical-logic

Users that are interested in mathematical-logic are comparing it to the libraries listed below

• powerlanguage / anagramming

  View on GitHub
  Anagram game for Android built with Unity
  ☆11May 13, 2016Updated 9 years ago
• motib / surprises

  View on GitHub
  Source code of Mathematical Surprises (open access)
  ☆14Mar 24, 2025Updated 10 months ago
• vince-CV / probabilistic-machine-learning

  View on GitHub
  Key words: Bayesian analysis, Probabilistic programming, Data analysis, Bayesian machine learning... Using Python with its library PyMC3…
  ☆10May 10, 2019Updated 6 years ago
• tomMoral / Dicod

  View on GitHub
  Experiments for ICML paper DICOD: Distributed Convolutional Coordinate Descent for Convolutional Sparse Coding, ICML 2018, T. Moreau, L. …
  ☆12Jan 24, 2019Updated 7 years ago
• xieyaxiongfly / SWAN_src_AP

  View on GitHub
  ☆12Jul 17, 2018Updated 7 years ago
• lsk569937453 / auto_keypress

  View on GitHub
  ☆10Aug 27, 2023Updated 2 years ago
• IvanSanchez / gpsd-ais-viewer

  View on GitHub
  Command-line viewer for AIS data through GPSD
  ☆11Aug 27, 2014Updated 11 years ago
• kk9527kk / brother-share

  View on GitHub
  介绍：这个是用来分享大家学习中使用的资料的，一个人学习，不如大家一起学习 基于adobe提供的一个文件帐号，来达到共享学习资料的模式，建议都传pdf的文档上来 国内登录，有些慢，需要一点耐心，但是能实现各个终端同步阅读pdf，同时又不用泄漏其他比较隐私的账号 网址：h…
  ☆12Sep 18, 2014Updated 11 years ago
• knurling-rs / test-driver-crate-example

  View on GitHub
  Example of testing a driver crate using mocks and `defmt-test`.
  ☆10Aug 19, 2021Updated 4 years ago
• magicbrush / AnimTech

  View on GitHub
  动画编程技术课堂示例
  ☆16May 5, 2018Updated 7 years ago
• tsif / SourcePreview

  View on GitHub
  Quick look plugin for macOS for source code files
  ☆14Oct 22, 2018Updated 7 years ago
• shenuiuin / nextcloud

  View on GitHub
  实验室私人网盘搭建
  ☆10Jul 29, 2019Updated 6 years ago
• dingdangdog / doremovebg

  View on GitHub
  一键批量抠图！移除人物图片背景的工具！
  ☆11Mar 10, 2025Updated 11 months ago
• magicbrush / DrawingByCodingTutorialDemos

  View on GitHub
  Demo Programs for Tutorial "Drawing by Coding"
  ☆10May 20, 2019Updated 6 years ago
• Manelmc / rnn-time-to-event

  View on GitHub
  An approximation of Recurrent Neural Networks to predict the Time to an Event
  ☆14Dec 8, 2022Updated 3 years ago
• ericastor / rmzoo

  View on GitHub
  ☆14Mar 27, 2024Updated last year
• Technicalflight / .Net

  View on GitHub
  ☆13Jan 26, 2022Updated 4 years ago
• hyeokhyen / imutube

  View on GitHub
  Repository for IMUTube system
  ☆12Jul 3, 2024Updated last year
• uchidalab / DynamicDA-with-GatingNetworks

  View on GitHub
  ICPR2022: Dynamic Data Augmentation with Gating Networks for Time Series Recognition
  ☆11Jul 28, 2022Updated 3 years ago
• neozhaoliang / neozhaoliang.github.io

  View on GitHub
  Personal blog about math and coding
  ☆10Feb 4, 2026Updated last week
• jonnylaw / ComposableStateSpaceModels

  View on GitHub
  ☆15Jun 22, 2020Updated 5 years ago
• Wi-Pose / Wi-Pose

  View on GitHub
  ☆14Nov 3, 2019Updated 6 years ago
• razzu / cmc-cmkm

  View on GitHub
  ☆11May 30, 2022Updated 3 years ago
• SaranshBangar / GeeksforGeeks-Solutions

  View on GitHub
  A one stop repo for over 1,000 GFG problems!
  ☆11Oct 18, 2025Updated 3 months ago
• dalcde / grid

  View on GitHub
  Grid paper maker
  ☆13Nov 16, 2019Updated 6 years ago
• OnRoadZy / artascope

  View on GitHub
  一个虚拟的万花板程序。可以绘制出超现实的图来。
  ☆13Dec 27, 2017Updated 8 years ago
• zeroby0 / csi-explorer

  View on GitHub
  Explore CSI samples in pcap files
  ☆11Mar 10, 2021Updated 4 years ago
• danielcfurr / edstan-python

  View on GitHub
  Python package for fitting item response theory models using pystan
  ☆14Apr 7, 2025Updated 10 months ago
• ProDOS-8 / ProDOS-8.github.io

  View on GitHub
  ProDOS-8 Website
  ☆13Jan 7, 2024Updated 2 years ago
• kanugurajesh / DSA-Challenge

  View on GitHub
  A 45 days DSA challenge
  ☆13Jul 19, 2024Updated last year
• barafael / cute-copter

  View on GitHub
  ☆19Nov 5, 2022Updated 3 years ago
• arvinsroom / mocksocialmediawebsite

  View on GitHub
  Mock social media website
  ☆18Nov 9, 2025Updated 3 months ago
• gamelayers / PMOG-FF-EXT-OS

  View on GitHub
  PMOG-FF-EXT-OS - Passively Multiplayer Online Game - Firefox Extension - Open Source
  ☆23Jul 19, 2010Updated 15 years ago
• peterhirschberg / GS.Pacman

  View on GitHub
  Pacman clone for the Apple IIGS computer
  ☆16Oct 11, 2021Updated 4 years ago
• JUSTWILLPOWER / iwr6843isk-HARbag

  View on GitHub
  包含通过iwr6843isk收集的6类人体活动的bag数据，包含将iwr6843isk录制的ROS包解析成txt文件并且拆分训练集和测试集的程序
  ☆15Nov 7, 2022Updated 3 years ago
• multimodallearning / hand-gesture-posture-position

  View on GitHub
  This repo holds the code for our 3DV 2021 paper "Fusing Posture and Position Representations for Point Cloud-Based Hand Gesture Recogniti…
  ☆13Apr 26, 2022Updated 3 years ago
• mist64 / nes_snes_controller_6502

  View on GitHub
  NES & SNES Controller Driver for 6502 (Commodore 64)
  ☆17Aug 10, 2019Updated 6 years ago
• paulhagstrom / dsk2po

  View on GitHub
  Python script to convert Apple II/III .DSK (DO) images to ProDOS-ordered images
  ☆15Feb 25, 2024Updated last year
• CityBench / Benchmark

  View on GitHub
  ☆13Jan 27, 2016Updated 10 years ago