Alternatives and similar repositories for category-theory-seminar-notes-cnu-2018

Users that are interested in category-theory-seminar-notes-cnu-2018 are comparing it to the libraries listed below

• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Updated this week
• kris-brown / cql_data_integration

  View on GitHub
  Interface for generating Categorical Query Language files to merge/migrate data between databases
  ☆14Aug 9, 2021Updated 4 years ago
• TheCedarPrince / LuxCat.jl

  View on GitHub
  Using Luxor.jl to design common diagrams found in Category Theory 🐱
  ☆13Mar 26, 2022Updated 3 years ago
• SnowOnion / Proof-Theory-Notes-zh_CN

  View on GitHub
  我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…
  ☆11Oct 30, 2018Updated 7 years ago
• koksal / tps

  View on GitHub
  Temporal Pathway Synthesizer
  ☆17Jun 28, 2024Updated last year
• okomok / strcat

  View on GitHub
  TeX files for summary of category theory
  ☆15Apr 9, 2016Updated 9 years ago
• finsberg / category-theory-python

  View on GitHub
  Learning platform for category theory in python
  ☆17Updated this week
• formalmethods / intrepid

  View on GitHub
  Intrepyd Model Checker
  ☆18Nov 5, 2021Updated 4 years ago
• FabianMaeurer / TensorCategories.jl

  View on GitHub
  Category Theory Framework
  ☆17Updated this week
• maxsnew / virtual-equipments

  View on GitHub
  Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory
  ☆32Apr 29, 2023Updated 2 years ago
• ualib / agda-algebras

  View on GitHub
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆42Dec 20, 2025Updated last month
• ni / nitsm-python

  View on GitHub
  TestStand Semiconductor Module Python API
  ☆15May 7, 2025Updated 9 months ago
• cnmetlab / pymetaf

  View on GitHub
  A python package for parsing metar & taf raw text
  ☆11Oct 16, 2025Updated 4 months ago
• danielway / nexrad-volumetric-renderer

  View on GitHub
  Project exploring 3D volumetric rendering of NEXRAD radar data.
  ☆11Oct 23, 2023Updated 2 years ago
• andreyklots / SuperQuantPackage

  View on GitHub
  Modeling and Analysis of Superconducting Quantum Circuits
  ☆13Feb 22, 2021Updated 4 years ago
• opentensor / cubit

  View on GitHub
  A Cython library to solve the Bittensor registration POW on CUDA
  ☆15Aug 15, 2025Updated 6 months ago
• PlagueHO / LoopbackAdapter

  View on GitHub
  A PowerShell module for creating and removing Loopback Network Adapters on Windows using Device Conslole (DevCon.exe)
  ☆15Feb 26, 2021Updated 4 years ago
• Socrats / EvoSim

  View on GitHub
  Evolutionary Game Theory Simulator
  ☆10Jun 8, 2018Updated 7 years ago
• NOAA-GFDL / SHiELD_build

  View on GitHub
  ☆11Jan 14, 2026Updated last month
• CodeByHarri / Stacking-Ensemble-Machine-Learning

  View on GitHub
  Stacking Machine Learning Models. Tunning; feature engineering, scaling, models combinations and parameters.
  ☆10Oct 4, 2020Updated 5 years ago
• Hassan313 / Near-Threshold-SRAM

  View on GitHub
  This place provide different SRAM cells netlist to be simulated with HSpice tool in sub-20nm FinFET technologies.
  ☆12Dec 31, 2020Updated 5 years ago
• gaborchris / DeepReplace

  View on GitHub
  This project focuses on using deep learning to replace text in images while retaining the same font and style.
  ☆10Dec 9, 2019Updated 6 years ago
• trcook / my_reading_list

  View on GitHub
  A list of various articles that I find helpful for reading about deep learning, forecasting, or macroeconomics
  ☆16May 8, 2018Updated 7 years ago
• Forever17s / Front-Hodgepodge

  View on GitHub
  前端杂烩，记录我脱离低级趣味的点点滴滴
  ☆11Nov 15, 2021Updated 4 years ago
• onevcat / check-lfs

  View on GitHub
  A command-line tool to check binary file committed to a repo.
  ☆11Jan 23, 2021Updated 5 years ago
• Abhishekmishra-17 / Recursive-Descent-Parser-using-python

  View on GitHub
  This is program of recursive descent parser using Python programming language.
  ☆10Jan 26, 2021Updated 5 years ago
• qg-cpt-marseille / sl2cfoam-next

  View on GitHub
  A high-performance library for computing Lorentzian spin foam amplitudes.
  ☆10Aug 28, 2025Updated 5 months ago
• lfoppiano / material-parsers

  View on GitHub
  Material parsers and other tools, scripts Initially developed for Grobid Superconductor
  ☆13Feb 21, 2025Updated 11 months ago
• jacobsjo / windy-plugin-sun-position-v2

  View on GitHub
  A Windy plugin that shows sun and moon positions on the map and gives details about sunset and sunrise times as well as other sun and moo…
  ☆11Jun 10, 2025Updated 8 months ago
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated 11 months ago
• soap-tastes-ok / thermo-ml

  View on GitHub
  Thermodynamics powered by Machine Learning
  ☆11May 7, 2021Updated 4 years ago
• fionn / feynman

  View on GitHub
  Calculate allowed interactions in QED
  ☆10Nov 2, 2022Updated 3 years ago
• dontpanic92 / rainfuck

  View on GitHub
  Rainfuck is a brainfuck interpreter and JIT compiler implemented in Rust.
  ☆34Jan 6, 2016Updated 10 years ago
• choukh / Baby-Set-Theory

  View on GitHub
  Coq集合论中文教程
  ☆46Dec 17, 2021Updated 4 years ago
• ecmwf / magpye

  View on GitHub
  ☆10Jun 11, 2022Updated 3 years ago
• OCamlPro / optal

  View on GitHub
  A new language for optimization
  ☆13May 17, 2021Updated 4 years ago
• XiaotongNi / toric-code-neural-decoder

  View on GitHub
  Neural network decoder for large distance toric code
  ☆12Oct 25, 2019Updated 6 years ago
• IbrahimFadel / flux

  View on GitHub
  A toy compiler made with LLVM
  ☆16Aug 30, 2024Updated last year
• DYFeng / pro-django-zh

  View on GitHub
  Pro Django中文译本
  ☆11Jun 11, 2017Updated 8 years ago