Seismometer documentation, code, and Flutter app
-
Updated
Jun 4, 2024 - Dart
Seismometer documentation, code, and Flutter app
🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
This repository contains previous merit list of inductions. This script is in no way meant to harm prp website but just to keep record of all merit lists.
MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data
Reconstruction of a trival Self Guided Learning algorithm
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Python source code derived from books about Machine Learning (ML)
Writes algorithms with multiple predicates
Standard library for [Imandra](https://imandra.ai)
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)
Implementation of Kalmus’ guidance method for robot navigation
Resolución de los códigos que se pedían para las tareas.
Avaliação em grupo RA01 da Disciplina de Resolução de Problemas de Natureza Discreta - BCC / PUCPR 2023
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Add a description, image, and links to the induction topic page so that developers can more easily learn about it.
To associate your repository with the induction topic, visit your repo's landing page and select "manage topics."