Giter VIP home page Giter VIP logo

Oswald's Projects

active-math icon active-math

Free textbook on graduate-level applied math for science and engineering

actix-web icon actix-web

Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.

agda-flypitch icon agda-flypitch

Formally proving the independence of the continuum hypothesis in Agda

annotated_deep_learning_paper_implementations icon annotated_deep_learning_paper_implementations

🧑‍🏫 59 Implementations/tutorials of deep learning papers with side-by-side notes 📝; including transformers (original, xl, switch, feedback, vit, ...), optimizers (adam, adabelief, ...), gans(cyclegan, stylegan2, ...), 🎮 reinforcement learning (ppo, dqn), capsnet, distillation, ... 🧠

argdown icon argdown

a simple syntax for complex argumentation

awesome-neural-logic icon awesome-neural-logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

ballonstranslator icon ballonstranslator

深度学习辅助漫画翻译工具, 支持一键机翻和简单的图像/文本编辑 | Yet another computer-aided comic/manga translation tool powered by deeplearning

beginning-cpp20 icon beginning-cpp20

Source Code for 'Beginning C++20' by Ivor Horton and Peter Van Weert

bfjit icon bfjit

Brainfuck JIT 虚拟机教程

book3_elements-of-mathematics icon book3_elements-of-mathematics

Book_3_《数学要素》 | 鸢尾花书：从加减乘除到机器学习；本册有，583幅图，136个代码文件，其中24个Streamlit App；状态：清华社五审五校中；Github稿件基本稳定，欢迎提意见，会及时修改

book4_power-of-matrix icon book4_power-of-matrix

Book_4_《矩阵力量》 | 鸢尾花书：从加减乘除到机器学习；本册有，584幅图，81个代码文件，其中18个Streamlit App；状态：清华社五审五校中；Github稿件基本稳定，欢迎提意见，会及时修改

book5_essentials-of-probability-and-statistics icon book5_essentials-of-probability-and-statistics

Book_5_《统计至简》 | 鸢尾花书：从加减乘除到机器学习；完成25章草稿。草稿还会经过至少两轮修改，改动会很大，大家注意下载最新版本。请多提意见，谢谢

book6_first-course-in-data-science icon book6_first-course-in-data-science

Book_6_《数据有道》 | 鸢尾花书：从加减乘除到机器学习；开始上传本册20章稿件，稿件很糙，还会大改两轮。欢迎大家提意见哈，注意下载最新版本

build-your-own-x icon build-your-own-x

Master programming by recreating your favorite technologies from scratch.

categories-and-categorical-logic icon categories-and-categorical-logic

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

cedille icon cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

cfdpython icon cfdpython

A sequence of Jupyter notebooks featuring the "12 Steps to Navier-Stokes" http://lorenabarba.com/

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.