fileec Goto Github PK

500lineorless_cn

500 line or less 中文翻译计划。

51-single-chip

51单片机入门资料

ada-c-comparison-leaflets

These are simple programs written in Ada and C to compare syntax and structure

advanced-algorithms

100+ algorithms & data structures generically implemented in C#

algo-practice

算法实践(JavaScript & Java)，排序，查找、树、两指针、动态规划等

algorithm_interview_notes-chinese

2018/2019/校招/春招/秋招/算法/机器学习(Machine Learning)/深度学习(Deep Learning)/自然语言处理(NLP)/C/C++/Python/面试笔记

algorithmic-software-verification

Course Materials for Graduate Class on Algorithmic Software Verification

algorithms

Minimal examples of data structures and algorithms in Python

algorithms-1

Algorithms & Data structures in C++.

algorithms_and_data_structures

180+ Algorithm & Data Structure Problems using C++

apollo-11

Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.

awesome-knowledge-graph

整理知识图谱相关学习资料

awesome-mac

 This repo is a collection of awesome Mac applications and tools for developers and designers.

awesome-machine-learning

A curated list of awesome Machine Learning frameworks, libraries and software.

awesome-static-analysis

A curated list of linters, code quality checkers, and other static analysis tools for various programming languages

books

无它术，唯勤读书而多为之，自工

books-1

常用书籍

c

All Algorithms implemented in C

c-sharp-algorithms

:books: :chart_with_upwards_trend: Plug-and-play class-library project of standard Data Structures and Algorithms in C#.

circuit-gnn

[ICML 2019] Circuit-GNN: Graph Neural Networks for Distributed Circuit Design http://circuit-gnn.csail.mit.edu/

colah.github.io

colornet

Neural Network to colorize grayscale images

cs-notes

:books: Computer Science Learning Notes

cs_offer

计算机学科基础知识和主流编程语言相关内容的总结

csci-2600-principles-of-software

Lecture Notes, Homework, Dafny Labs, and Back Exams for Spring 2018 RPI CSCI 2600 - Principles of Software

cv-papers

计算机视觉相关论文整理、记录、分享; 包括图像分类、目标检测、视觉跟踪/目标跟踪、人脸识别/人脸验证、OCR/场景文本检测及识别等领域。欢迎加星,欢迎指正错误,同时也期待能够共同参与！！! 持续更新中... ...

dafny

Dafny is a verification-aware programming language

dafny-tutorial

Exercises for the Dafny Tutorial

dafnysos

Using the Dafny verification language to specify the design of a toy imperative language (WHILE-like). The design includes the syntax, small step operational semantics, type system and proof system of the language. Consequently, we can enjoy the verification capability of Dafny to prove theorem/lemma such as type soundness by stepping, the soundness of proof system.

data-structures-and-algorithms

Repository for the Data Structures and Algorithms course