voidspace/talks external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

voidspace/talks

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/voidspace/talks)

Close

voidspace / talksView on GitHubMore

• External links
• Readme badge

☆10Jan 16, 2025Updated last year

Alternatives and similar repositories for talks

Users that are interested in talks are comparing it to the libraries listed below

• bravit / generate_parentheses

  View on GitHub
  ☆21May 12, 2023Updated 2 years ago
• eugene-taylashev / risk_management

  View on GitHub
  IT Risk Management tools
  ☆14Apr 4, 2025Updated 10 months ago
• ShahnawazHussain28 / ShahnawazHussain28.github.io

  View on GitHub
  ☆15Jun 7, 2025Updated 8 months ago
• CohenCyril / LFTCM2024_Rocq

  View on GitHub
  Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
  ☆13Mar 28, 2024Updated last year
• MikeM64 / spi-mitm

  View on GitHub
  SPI MITM for the Arty S7-50
  ☆14Dec 24, 2022Updated 3 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• usini / usini_discord_webhook

  View on GitHub
  A simple Arduino Library to send message on Discord using webhook
  ☆14Feb 25, 2025Updated last year
• FEDEVEL / openrex-linux-3.14

  View on GitHub
  ☆11Jan 31, 2017Updated 9 years ago
• calebegg / proof-pad

  View on GitHub
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆11Jul 15, 2024Updated last year
• codingdroplets / MauiPages

  View on GitHub
  Different Types of Pages in .NET MAUI
  ☆10Nov 23, 2022Updated 3 years ago
• webyrd / tree-automata

  View on GitHub
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Aug 3, 2023Updated 2 years ago
• NikolajBjorner / ShonanArtOfSAT

  View on GitHub
  Schedule for ArtOfSAT
  ☆10Oct 11, 2023Updated 2 years ago
• rodrimati1992 / type_level

  View on GitHub
  Libraries for declaring and using type-level values.
  ☆11Mar 28, 2019Updated 6 years ago
• neupanic / bloggy-webapp

  View on GitHub
  This is a blog app created using the Flask web framework in Python for the backend and HTML/CSS & JavaScript for frontend. With this app,…
  ☆10Jul 11, 2024Updated last year
• guimauveb / rust-app-aws

  View on GitHub
  Minimal Rust web application ready to be deployed on a AWS EC2 instance.
  ☆10Apr 4, 2022Updated 3 years ago
• trailofbits / divergent-representations

  View on GitHub
  CodeQL and Binary Ninja scripts to accompany the blog post
  ☆11Feb 3, 2023Updated 3 years ago
• ct-clmsn / asio-network-programming-cookbook

  View on GitHub
  Boost.Asio C++ Network Programming Cookbook by Dmytro Radchuk
  ☆14May 14, 2017Updated 8 years ago
• webyrd / summer-scheming

  View on GitHub
  Summer Scheming!!!!!!
  ☆11Aug 20, 2020Updated 5 years ago
• draperlaboratory / cozy

  View on GitHub
  ☆17Feb 10, 2026Updated 2 weeks ago
• yihozhang / egraph-sqlite

  View on GitHub
  egraph on top of sqlite
  ☆13Mar 8, 2022Updated 3 years ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Feb 11, 2026Updated 2 weeks ago
• umr-ds / NOREC4DNA

  View on GitHub
  ☆10Nov 17, 2025Updated 3 months ago
• FIWARE / tools.Md2pdf

  View on GitHub
  Tool for creating a PDF document from markdown sources
  ☆11Jul 3, 2020Updated 5 years ago
• boogie-org / lean-itrees

  View on GitHub
  A Lean implementation of Interaction Trees
  ☆15Jan 13, 2025Updated last year
• cvxgrp / cone_prog_refine

  View on GitHub
  Cone program refinement
  ☆10Mar 6, 2020Updated 5 years ago
• D-BookeR / Traitement_d_images_et_de_videos_avec_OpenCV3

  View on GitHub
  Codes sources du livre
  ☆10Mar 13, 2019Updated 6 years ago
• Riphiphip / mlir_rvsdg

  View on GitHub
  Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR
  ☆13May 30, 2023Updated 2 years ago
• ezyang / eff

  View on GitHub
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Aug 31, 2020Updated 5 years ago
• validsdp / validsdp

  View on GitHub
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆12Feb 3, 2026Updated 3 weeks ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• Kha / do-supplement

  View on GitHub
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆14Feb 15, 2025Updated last year
• friguzzi / matrix

  View on GitHub
  Operations with matrices, SWI pack
  ☆13Dec 11, 2023Updated 2 years ago
• langston-barrett / souffle-lint

  View on GitHub
  A linter for Soufflé Datalog
  ☆16Apr 1, 2024Updated last year
• chc-comp / chc-tools

  View on GitHub
  Tools for manipulating CHC and related files
  ☆15Apr 21, 2023Updated 2 years ago
• catseye / Philomath

  View on GitHub
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆16Dec 19, 2023Updated 2 years ago
• pymeasure / python-lab-automation-landscape

  View on GitHub
  A catalog/overview of Python packages in the area of lab automation.
  ☆14Nov 28, 2025Updated 2 months ago
• unknwon / labeler

  View on GitHub
  Labeler is a CLI tool to sync labels for a GitHub repository with templates.
  ☆13Mar 12, 2023Updated 2 years ago
• dunod-docker / docker-exemples-edition3

  View on GitHub
  ☆14Jun 15, 2022Updated 3 years ago