Stanford AlgsExample Test Cases for Stanford's Algorithms Coursera Specialization
Stars: ✭ 261 (+272.86%)
Mutual labels: coursera, stanford
discrete-math-python-scriptsPython code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+40%)
Mutual labels: logic, coursera
Simple CryptographyScripts that illustrate basic cryptography concepts based on Coursera Standford Cryptography I course and more.
Stars: ✭ 40 (-42.86%)
Mutual labels: coursera, stanford
Coursera-CertificationsA repository to showcase my completed courses on the Coursera platform.
Stars: ✭ 20 (-71.43%)
Mutual labels: coursera
theolog-ss2017Notizen zur TheoLog-Vorlesung mit Begriffen aus Formale Systeme. Hinweis: die Unterlagen sind für die VL in 2017 und können Fehler enthalten
Stars: ✭ 18 (-74.29%)
Mutual labels: logic
stanford-cs231n-assignments-2020This repository contains my solutions to the assignments for Stanford's CS231n "Convolutional Neural Networks for Visual Recognition" (Spring 2020).
Stars: ✭ 84 (+20%)
Mutual labels: stanford
CourseDownloaderGUI app for downloading whole online courses with folder structure from one url
Stars: ✭ 20 (-71.43%)
Mutual labels: coursera
Applied-Text-Mining-in-PythonApplied Data Science with Python Specialization: Course 4 (University of Michigan)
Stars: ✭ 26 (-62.86%)
Mutual labels: coursera
imoveINACTIVE: Move your mouse, generate code from flow chart
Stars: ✭ 3,598 (+5040%)
Mutual labels: logic
ipc solverO(N log N)-space IPC solver in OCaml
Stars: ✭ 46 (-34.29%)
Mutual labels: logic
datalinguistStanford CoreNLP in idiomatic Clojure.
Stars: ✭ 93 (+32.86%)
Mutual labels: stanford
Awesome-Neural-LogicAwesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断,神经逻辑,强人工智能逻辑推理前沿领域。
Stars: ✭ 106 (+51.43%)
Mutual labels: logic
How-To-Start-A-Startup"How to Start a Startup" is the Y Combinator class made by real entrepreneurs
Stars: ✭ 55 (-21.43%)
Mutual labels: stanford
Hecke.jlComputational algebraic number theory
Stars: ✭ 142 (+102.86%)
Mutual labels: number-theory
path semanticsA research project in path semantics, a re-interpretation of functions for expressing mathematics
Stars: ✭ 136 (+94.29%)
Mutual labels: mathematical-logic
TeamReferenceTeam reference for Competitive Programming. Algorithms implementations very used in the ACM-ICPC contests. Latex template to build your own team reference.
Stars: ✭ 29 (-58.57%)
Mutual labels: number-theory
typedbTypeDB: a strongly-typed database
Stars: ✭ 3,152 (+4402.86%)
Mutual labels: logic