Alternatives and similar repositories for talks

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

• Pictorus-Labs / pictorus-rs
  Pictorus Rust libraries
  ☆18Updated last week
• UQ-PAC / BASIL
  The Basil pipeline for concurrent information flow analysis in AArch64 binaries.
  ☆13Updated this week
• playfultechnology / pid-invertedpendulum
  ☆9Updated 3 years ago
• Carberra / python-is-awesome
  All the code from my Python is Awesome videos.
  ☆12Updated 3 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆65Updated 2 months ago
• bedroombuilds / python2rust
  Code for Youtube series introducing Rust to Python programmers
  ☆156Updated 3 years ago
• dabeaz / python-distilled
  Resources for Python Distilled (Book)
  ☆103Updated last year
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• parttimenerd / python-dbg
  Python debugger experiments
  ☆29Updated last year
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated 5 months ago
• bmourad01 / ocamlchess
  UCI-compatible chess engine in OCaml.
  ☆13Updated 3 months ago
• eytans / easter-egg
  easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once
  ☆13Updated 4 months ago
• opencompl / xdsl-smt
  The implementation of an SMTLib dialect for xDSL
  ☆15Updated last week
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 3 years ago
• backtracking / ocaml-bdd
  A simple BDD library for OCaml
  ☆13Updated 2 months ago
• tchajed / futex-tutorial
  ☆13Updated last year
• camillescott / cookiecutter-cppyy-cmake
  A cookiecutter template for using cppyy to generate python bindings for c++ code
  ☆27Updated 5 years ago
• RobinKa / egga
  Symbolic Geometric Algebra with E-Graphs
  ☆19Updated last year
• IntelLabs / asl-interpreter
  Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)
  ☆21Updated 2 weeks ago
• antirez / talk32
  C program to talk via serial to MicroPython powered ESP32 boards
  ☆38Updated last year
• 01mf02 / kontroli-rs
  Alternative implementation of the logical framework Dedukti in Rust
  ☆22Updated 4 months ago
• caviar-trs / caviar
  Implementing Halide's TRS inside of EGG
  ☆31Updated 2 years ago
• rambasnet / CPP-Fundamentals
  Jupyter Notebooks for Learning CS Foundational Concepts using C++
  ☆27Updated last year
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 6 months ago
• pydrofoil / pydrofoil
  A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
  ☆76Updated this week
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated 5 months ago
• calebegg / proof-pad
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆11Updated last year
• ArjanCodes / 2021-pythonic-strategy
  ☆24Updated 3 years ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆31Updated last year
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆20Updated 3 years ago