-
Notifications
You must be signed in to change notification settings - Fork 10
/
README.md
2251 lines (2034 loc) · 258 KB
/
README.md
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# Awesome Computer Science Stuff [](https://github.com/sindresorhus/awesome)
- **TheoryOfComputation*- : Some resources about the topic (tex files and JFLAP files).
- **Algorithms*- : Some stuff about design, analysis and general in algorithms science.
---
## Research
- [The Practice of Reproducible Research](https://www.practicereproducibleresearch.org/)
- [A toolkit for data transparency takes shape](https://www.nature.com/articles/d41586-018-05990-5) and [Developing a modern data workflow for living data](https://www.biorxiv.org/content/early/2018/06/12/344804)
- [PortalData](https://github.com/weecology/PortalData) (Official Repo of the Portal Project Data) and [livedat](https://github.com/weecology/livedat) (Template for living data workflow ).
- [Academic Torrents](http://academictorrents.com/): We've designed a distributed system for sharing enormous datasets - for researchers, by researchers. The result is a scalable, secure, and fault-tolerant repository for data, with blazing fast download speeds.
- (pt-br) [divulgacaocientifica](https://github.com/DivulgacaoCientifica/divulgacaocientifica): Divulgação Científica - Essa é apenas uma lista PT-BR, o conteúdo dos podcasts/canais é de inteira responsabilidade dos autores.
- [It's not just you: science papers are getting harder to read](https://www.nature.com/news/it-s-not-just-you-science-papers-are-getting-harder-to-read-1.21751). Papers from 2015 are a tougher read than some from the nineteenth century — and the problem isn't just about words, says Philip Ball.
- [Did I Plagiarize](https://twitter.com/marcelo_meds/status/1199000012073684992/photo/1) (pt-br)
- [The Plagiarism Spectrum](https://www.turnitin.com/static/plagiarism-spectrum/)
- [LibGen](https://libgen.is/)
- [Mission to seed Library Genesis: donations pour in to preserve and distribute the entire 30 terabyte collection](https://www.reddit.com/r/Scholar/comments/e4yo76/meta_mission_to_seed_library_genesis_donations/)
- [Library Genesis Seeding Project](https://docs.google.com/spreadsheets/d/1hqT7dVe8u09eatT93V2xvth-fUfNDxjE9SGT-KjLCj0/edit#gid=2006516443)
---
## Computer Science general
- [Coding Interview University](https://github.com/jwasham/coding-interview-university)
- [Great Theoretical Ideas in Computer Science](http://www.cs.cmu.edu/~aada/courses/15251f15/www/schedule.html)
- [Accidentally Turing-Complete](http://beza1e1.tuxen.de/articles/accidentally_turing_complete.html)
- [Modern SAT solvers: fast, neat and underused (part 1 of N) — The Coding Nest](https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/)
- [Programming Z3](https://theory.stanford.edu/~nikolaj/programmingz3.html): This tutorial provides a programmer's introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost all available features of Z3 and the essence of the underlying algorithms.
- [SAT Solvers as Smart Search Engines](https://www.msoos.org/2019/02/sat-solvers-as-smart-search-engines/)
- Computer Science: [An Interdisciplinary Approach](https://introcs.cs.princeton.edu/java/home/)
- [A Guide to Teaching Computing to Adults in Informal Settings](https://computinged.wordpress.com/2018/08/27/a-guide-to-teaching-computing-to-adults-in-informal-settings/) (and [here](http://teachtogether.tech/en/partner/))
- [Platform Design](https://github.com/dcuartielles/platform-design) is the repository including the text created by D. Cuartielles for his doctoral dissertation published by Malmo University Press in 2018.
- [z3](https://github.com/Z3Prover/z3): The Z3 Theorem Prover
- [Surprisingly Turing-Complete](https://www.gwern.net/Turing-complete#how-many-computers-are-in-your-computer)
- [Operation Costs in CPU Clock Cycles](http://ithare.com/infographics-operation-costs-in-cpu-clock-cycles/)
- [CSIndexbr](https://csindexbr.org/) provides transparent data about Brazilian scientific production in Computer Science. We index full research papers published in selected conferences and journals.
- [The Book of Secret Knowledge](https://github.com/trimstray/the-book-of-secret-knowledge)
- [The “Bug-O” Notation](https://overreacted.io/the-bug-o-notation/): The Bug-O describes how much an API slows you down as your codebase grows.
- [elkai](https://github.com/pyEntropy/elkai): Python 3 TSP solver based on LKH (cross platform)
- [Stanford CS Education Library](http://cslibrary.stanford.edu/)
- [Decades-Old Computer Science Conjecture Solved in Two Pages](https://www.quantamagazine.org/mathematician-solves-computer-science-conjecture-in-two-pages-20190725/)
- (pt-br) [extensao-computacao](https://github.com/adolfont/extensao-computacao/): Iniciativas de Extensão na Área de Computação.
- [loosely-categorized collection of links to CS textbooks](https://csgordon.github.io/books.html)
- [Words Matter](https://www.acm.org/diversity-inclusion/words-matter): Alternatives for Charged Terminology in the Computing Profession
### Quantum Information Science
- [Lecture notes! Intro to Quantum Information Science](https://www.scottaaronson.com/blog/?p=3943)
### Data Structures
- [Data Structures for Coding Interviews](https://www.interviewcake.com/article/python/data-structures-coding-interview)
- [Masstree](https://www.the-paper-trail.org/post/masstree-paper-notes/): A cache-friendly mashup of tries and B-trees
- [Columnstore and B+ tree](https://blog.acolyer.org/2018/09/28/columnstore-and-b-tree-are-hybrid-physical-designs-important/)– are hybrid physical designs important?
- [Beating hash tables with trees?](https://www.the-paper-trail.org/post/art-paper-notes/) The ART-ful radix trie
- [awesome-graph-embedding](https://github.com/benedekrozemberczki/awesome-graph-embedding): A collection of important graph embedding, classification and representation learning papers with implementations.
- [awesome-community-detection](https://github.com/benedekrozemberczki/awesome-community-detection): A curated list of community detection techniques.
- [6.851: Advanced Data Structures](https://courses.csail.mit.edu/6.851/): Prof. Erik Demaine
- [Designing far memory data structures: think outside the box](https://blog.acolyer.org/2019/06/26/designing-far-memory-data-structures/)
### Databases
- [Readings in Database Systems](http://www.redbook.io)
- [tkvdb](https://github.com/vmxdev/tkvdb): Trie key-value database
- [Real world SSD wearout](https://blog.okmeter.io/real-world-ssd-wearout-a3396a35c663)
- [litetree](https://github.com/aergoio/litetree): SQLite with Branches
- [lmdb-embeddings](https://github.com/ThoughtRiver/lmdb-embeddings): Fast word vectors with little memory usage in Python
- [litetree](https://github.com/aergoio/litetree): SQLite with Branches
- [quick-SQL-cheatsheet](https://github.com/enochtangg/quick-SQL-cheatsheet): A quick reminder of all SQL queries and examples on how to use them.
- [Optimizing BigQuery](https://medium.com/google-cloud/bigquery-optimized-cluster-your-tables-65e2f684594b): Cluster your tables – Google Cloud Platform
- [pgFormatter](https://github.com/darold/pgFormatter): A PostgreSQL SQL syntax beautifier that can work as a console program or as a CGI. On-line demo [site](http://sqlformat.darold.net/)
- [HikariCP](https://github.com/brettwooldridge/HikariCP): 光 HikariCP・A solid, high-performance, JDBC connection pool at last.
- [SeetSimilaritySearch](https://github.com/ekzhu/SetSimilaritySearch/): All-pair set similarity search on millions of sets in Python and on a laptop (faster than MinHash LSH)
- [Introducing Scylla Open Source 3.0](https://www.scylladb.com/2019/01/17/scylla-open-source-3-0-overview/): Scylla is an open source NoSQL database that offers the horizontal scale-out and fault-tolerance of Apache Cassandra, but delivers 10X the throughput and consistent, low single-digit latencies.
- [DBeaver](https://dbeaver.io/): Universal Database Tool
- [Sequel Pro](https://www.sequelpro.com/): is a fast, easy-to-use Mac database management application for working with MySQL databases.
- [Vertically Scaling PostgreSQL](https://pgdash.io/blog/scaling-postgres.html)
- [eva](https://github.com/Workiva/eva/): A distributed database-system implementing an entity-attribute-value data-model that is time-aware, accumulative, and atomically consistent.
- Introducing SLOG:[Cheating the low-latency vs. strict serializability tradeoff](http://dbmsmusings.blogspot.com/2019/10/introducing-slog-cheating-low-latency.html)
- [Why databases use ordered indexes but programming uses hash tables](https://www.evanjones.ca/ordered-vs-unordered-indexes.html)
- [PostgreSQL beginner guide](https://knowledgepill.it/posts/postgresql-basics-guide/)- connecting, remote access, psql CLI and troubleshooting connection
- [Fuzzy Name Matching in Postgres](https://info.crunchydata.com/blog/fuzzy-name-matching-in-postgresql)
- [ClickHouse](https://github.com/ClickHouse/ClickHouse): is a free analytics DBMS for big data.
- [Text2SQL](https://github.com/yashbonde/text2sql): Convert natural language query to appropriate SQL, make ERPs cool again.
- [ln2sql](https://github.com/FerreroJeremy/ln2sql): A tool to query a database in natural language.
- [ln2sqlmodule](https://github.com/rupinder1133/ln2sqlmodule): ln2sql as a python package.
### Networks
- [Prototool](https://github.com/uber/prototool): Your Swiss Army Knife for Protocol Buffers.
- [Beej's Guide to Network Programming](https://beej.us/guide/bgnet/)
- [Computer Networking](http://cnp3book.info.ucl.ac.be/): Principles, Protocols and Practice is an open-source ebook that explains the main principles of Computer Networking and the key protocols that are used on the Internet.
- [IPv6@IBM](https://media.ccc.de/v/denog10-16-ipv6-ibm-an-enterprise-journey) – An enterprise journey
- [scans of early RFCs](https://write.as/365-rfcs/update-scans-of-early-rfcs)
- [Programmable socket lookup with BPF](https://linuxplumbersconf.org/event/4/contributions/487/)
- [TCP window scaling, timestamps and SACK](https://fedoramagazine.org/tcp-window-scaling-timestamps-and-sack/)
- [Computer Networks](https://book.systemsapproach.org/): A Systems Approach
### Programming
- (pt-br) A [análise de algoritmos](https://www.ime.usp.br/~pf/analise_de_algoritmos/) estuda a correção e o desempenho de algoritmos.
- (pt-br) [Como aprender qualquer linguagem de programação (em 4 slides)](https://speakerdeck.com/ramalho/como-aprender-qualquer-linguagem-de-programacao-em-4-slides)
- [Modern B-Tree Techniques](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.219.7269&rep=rep1&type=pdf) by Goetz Graefe
- [Detecting Chrome Headless](http://antoinevastel.github.io/bot%20detection/2017/08/05/detect-chrome-headless.html)
- [Minimal PDF](https://brendanzagaeski.appspot.com/0004.html)
- [Prettier is an opinionated code formatter](https://github.com/prettier/prettier)
- [Learning to program is getting harder](http://allendowney.blogspot.com.br/2018/02/learning-to-program-is-getting-harder.html)
- [Awesome cheatsheets for popular programming languages, frameworks and development tools](https://github.com/eon01/awesome-cheatsheets)
- [A Programmable Programming Language](https://cacm.acm.org/magazines/2018/3/225475-a-programmable-programming-language/fulltext)
- [Flow](https://github.com/facebook/flow): Adds static typing to JavaScript to improve developer productivity and code quality.
- [Context Switching](http://artsy.github.io/blog/2018/08/10/On-Context-Switching/)
- [Prettier](https://prettier.io/): Prettier is an opinionated code formatter
- [Computer Systems](http://www.csapp.cs.cmu.edu): A Programmer's Perspective, 3/E (CS:APP3e)
- [TechYaks](https://techyaks.com/)
- [23 guidelines for writing readable code](https://alemil.com/guidelines-for-writing-readable-code)
- [What is Systems Programming, Really?](http://willcrichton.net/notes/systems-programming/): Will Crichton
- [edabit](https://edabit.com/): We're like Duolingo for learning to code.
- [Concurrency Glossary](https://slikts.github.io/concurrency-glossa): This is an informal top-level overview of terms used in concurrent computing - [github](https://github.com/slikts/concurrency-glossary).
- [Mega Project List](https://github.com/karan/Projects): A list of practical projects that anyone can solve in any programming language.
- [How to visualize decision trees](http://explained.ai/decision-tree-viz/index.html)
- (pt-br) [OsProgramadores](https://osprogramadores.com) - [op-desafios](https://github.com/OsProgramadores/op-desafios): Soluções para os desafios (por usuário)
- [EXEgesis](https://github.com/google/EXEgesis): Google's EXEgesis project aims to improve code generation in compilers.
- [An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure](https://srg.doc.ic.ac.uk/files/slides/symex-tarot-18.pdf)
- [Software Checklist](https://www.solipsys.co.uk/new/SoftwareChecklist.html)
- [small](https://github.com/mathiasbynens/small): Smallest possible syntactically valid files of different types.
- [Algorithms](http://jeffe.cs.illinois.edu/teaching/algorithms/): this web page contains a free electronic version of my (soon to be) self-published textbook Algorithms, along with other lecture notes I have written for various theoretical computer science classes at the University of Illinois, Urbana-Champaign since 1998. [github](https://github.com/jeffgerickson/algorithms)
- [Software disenchantment](http://tonsky.me/blog/disenchantment/)
- [Composing Programs](https://composingprograms.com/): Welcome to Composing Programs, a free online introduction to programming and computer science.
- [Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt](https://www.erlang-solutions.com/blog/let-s-talkconcurrency-panel-discussion-with-sir-tony-hoare-joe-armstrong-and-carl-hewitt.html): When considering the panel to discuss concurrency, you’d be pushed to find a higher calibre than Sir Tony Hoare, Joe Armstrong, and Carl Hewitt. All greats within the industry and beyond, over the past couple of weeks, we’ve been releasing their individual interviews; a storyboard into the lifeline of concurrency and models over the past few decades.
- [semantic](https://github.com/github/semantic): Parsing, analyzing, and comparing source code across many languages
- (pt-br) [Canais Brasileiros para Pessoas Desenvolvedoras](https://github.com/carolcodes/youtube-br-desenvolvimento): Repositório de canais no Youtube BR sobre desenvolvimento.
- [LOOPY](https://ncase.me/loopy/): a tool for thinking in systems. In a world filled with ever-more-complex technological, sociological, ecological, political & economic systems... a tool to make interactive simulations may not be that much help. But it can certainly try.
- [A gentle introduction to symbolic execution](https://blog.monic.co/a-gentle-introduction-to-symbolic-execution/): In this article we’ll cover the basic idea behind symbolic execution, a powerful yet underutilized technique for static program analysis.
- [Goodbye, Object Oriented Programming](https://medium.com/@cscalfani/goodbye-object-oriented-programming-a59cda4c0e53)
- [Every Programmer Should Know thinking](https://github.com/mtdvio/every-programmer-should-know): A collection of (mostly) technical things every software developer should know
- [What does debugging a program look like?](https://jvns.ca/blog/2019/06/23/a-few-debugging-resources/)
- [Some things that might help you make better software](https://www.drmaciver.com/2016/10/some-things-that-might-help-you-write-better-software/)
- [B-threads](https://medium.com/@lmatteis/b-threads-programming-in-a-way-that-allows-for-easier-changes-5d95b9fb6928): programming in a way that allows for easier changes
- [Programming Talks](https://github.com/hellerve/programming-talks): Awesome & interesting talks about programming
- [Lock-free multithreading with atomic operations](https://www.internalpointers.com/post/lock-free-multithreading-atomic-operations)
- [How to Build Good Software](https://www.csc.gov.sg/articles/how-to-build-good-software)
- [Languages](https://codelani.com/lists/languages.html): Here is the current list of the 3,503 computer languages I am actively tracking. I focus on tracking general purpose high-level programming languages, but also track low-level languages and some notable markup languages, protocols, file formats, libraries, and applications.
- [Best-websites-a-programmer-should-visit](https://github.com/sdmg15/Best-websites-a-programmer-should-visit): Some useful websites for programmers.
- [dev.to](https://github.com/thepracticaldev/dev.to): Where programmers share ideas and help each other grow
- [Test Anything Protocol](http://testanything.org/): TAP, the Test Anything Protocol, is a simple text-based interface between testing modules in a test harness. TAP started life as part of the test harness for Perl but now has implementations in C, C++, Python, PHP, Perl, Java, JavaScript, and others.
- [Algorithms are now commodities](http://shape-of-code.coding-guidelines.com/2020/07/05/algorithms-are-now-commodities/)
- [Immutability we can afford](https://medium.com/@elizarov/immutability-we-can-afford-10c0dcb8351d)
- [Quine Relay](https://github.com/mame/quine-relay): An uroboros program with 100+ programming languages.
- [Resources for teaching programming](https://github.com/villares/Resources-for-teaching-programming) for artists, designers and architects
- [The S.O.L.I.D Principles in Pictures](https://medium.com/backticks-tildes/the-s-o-l-i-d-principles-in-pictures-b34ce2f1e898)
- [My broad research goal is to help developers build more efficient software systems more efficiently.](https://sites.google.com/a/cin.ufpe.br/castor/research)
- [Exercism](https://github.com/lambda-study-group/exercism): Exercism exercises in functional programming languages like Clojure, Elixir, Elm, Haskell Scala, Lisp, Erlang, Purescript, F# or Scheme.
- [A review of consensus protocols](https://thomasvilhena.com/2020/10/a-review-of-consensus-protocols): The consensus problem is a fundamental problem in multi-agent systems which requires a group of processes (or agents) to reliably and timely agree on a single data value.
- [Schrödinger's Code](https://queue.acm.org/detail.cfm?id=3468263): Undefined behavior in theory and practice.
- [How to Become a Bad Developer](https://rafaelquintanilha.com/how-to-become-a-bad-developer)
- [Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs](https://dl.acm.org/doi/10.1145/359576.359579)
- [20 Things I’ve Learned in my 20 Years as a Software Engineer](https://www.simplethread.com/20-things-ive-learned-in-my-20-years-as-a-software-engineer/)
- [Data Structures & Algorithms I Used Working at Tech Companies](https://blog.pragmaticengineer.com/data-structures-and-algorithms-i-actually-used-day-to-day/)
#### IDEs
- [geany-dark-scheme](https://github.com/Wayn0/geany-dark-scheme): Dark syntax theme for the Geany text editor.
- [vscodium](https://github.com/VSCodium/vscodium): binary releases of VS Code without MS branding/telemetry/licensing
- [awesome-vscode](https://github.com/viatsko/awesome-vscode): art A curated list of delightful VS Code packages and resources.
- [Why I wrote 33 VSCode extensions and how I manage them](https://medium.com/@fabiospampinato/why-i-wrote-33-vscode-extensions-and-how-i-manage-them-cb61df05e154)
- [VS Code Live Share plugin](https://fedoramagazine.org/vs-code-live-share-plugin/)
- [Replit](https://replit.com/): Write and execute your code in your browser and host it with a single click.
#### Formal Methods
- [Augmenting Agile with Formal Methods](https://www.hillelwayne.com/post/augmenting-agile/)
- [Open Petri Nets (Part 1) | Azimuth](https://johncarlosbaez.wordpress.com/2018/08/15/open-petri-nets-part-1/)
- [storm](https://github.com/Practical-Formal-Methods/storm): A blackbox mutational fuzzer for detecting critical bugs in SMT solvers [paper](https://numairmansur.github.io/STORM.pdf) [site](https://practical-formal-methods.github.io/storm/)
- [Open Logic Text](https://openlogicproject.org/about/) [The OLP is an open-source, collaborative logic set of teaching materials for formal (meta)logic and formal methods. It is available for free and it is modifiable and rearrangeable depending on the teaching needs/purposes.](https://twitter.com/MxLogica/status/1452617097960431625)
#### APIs
- [public-apis](https://github.com/toddmotto/public-apis): A collective list of public JSON APIs for use in web development.
#### Assembly
- [x86-64 Assembly Language Programming with Ubuntu](http://www.egr.unlv.edu/~ed/x86.html) By Ed Jorgensen
- [Linux Assembly libraries project](http://linasm.sourceforge.net/)
- [CPU-instructions](https://github.com/BrunoDeBacker/CPU-instructions)
- [x86 and amd64 instruction reference](http://www.felixcloutier.com/x86/)
- [Rewriting Functions in Compiled Binaries](https://blog.trailofbits.com/2019/09/02/rewriting-functions-in-compiled-binaries/)
- [PC Assembly Language book](https://github.com/pacman128/pcasm).
- [Polyglot Assembly](https://vojtechkral.github.io/blag/polyglot-assembly/): Writing assembly code that runs on multiple architectures.
- [x86 Assembly/Control Flow](https://en.wikibooks.org/wiki/X86_Assembly/Control_Flow)
- [Online Assembler - NASM Compiler IDE](https://www.jdoodle.com/compile-assembler-nasm-online/)
#### C/C++
- [Exercises for people learning the C programming language](https://github.com/AllenDowney/ExercisesInC) by Allen B. Downey
- some twitter [thread](https://www.twitter.com/TartanLlama/status/960807058164547584) by Simon Brand
- [How to Program an NES game in C](https://nesdoug.com)
- Intel frameworks about memmory:
- [Persistent Memory Development Kit](https://github.com/pmem/pmdk)
- The [memkind](https://github.com/memkind/memkind) library is a user extensible heap manager built on top of jemalloc which enables control of memory characteristics and a partitioning of the heap between kinds of memory.
- [MODERN C++ FOR C PROGRAMMERS: PART 1](https://ds9a.nl/articles/posts/c++-1/) has [PART 5](https://ds9a.nl/articles/posts/cpp-5/) already.
- [gdbgui](https://github.com/cs01/gdbgui/): Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.
- [CppCoreGuidelines](https://github.com/isocpp/CppCoreGuidelines): The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
- [What’s the difference between an integer and a pointer?](https://blog.regehr.org/archives/1621)
- [Lifetime profile v1.0 posted](https://herbsutter.com/2018/09/20/lifetime-profile-v1-0-posted/)
- [FunctionSimSearch](https://github.com/googleprojectzero/functionsimsearch): Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.
- Learn X in Y minutes: [Where X=c](https://learnxinyminutes.com/docs/c/)
- [Projeto de Algoritmos (em C)](https://www.ime.usp.br/~pf/algoritmos/): Paulo Feofiloff
- mozilla [rr](https://github.com/mozilla/rr): is a lightweight tool for recording, replaying and debugging execution of applications (trees of processes and threads). Debugging extends gdb with very efficient reverse-execution, which in combination with standard gdb/x86 features like hardware data watchpoints, makes debugging much more fun.
- [WinDbg-Samples](https://github.com/Microsoft/WinDbg-Samples): Sample extensions, scripts, and API uses for WinDbg.
- [How to implement strings](http://beza1e1.tuxen.de/strings.html)
- [A Better Way to Implement Bit-Fields](https://andrewkelley.me/post/a-better-way-to-implement-bit-fields.html)
- [The C++ Build Process Explained](https://github.com/green7ea/cpp-compilation/)
- [Eyes Above The Waves: Comparing The Quality Of Debug Information Produced By Clang And Gcc](https://robert.ocallahan.org/2018/11/comparing-quality-of-debug-information.html?m=1)
- [C Portability Lessons from Weird Machines](https://begriffs.com/posts/2018-11-15-c-portability.html)
- [9cc](https://github.com/rui314/9cc): A Small C Compiler
- [Infinity](https://onebyezero.blogspot.com/2018/12/string-tokenization-in-c.html): String tokenization in C
- [CTML](https://github.com/tinfoilboy/CTML): A C++ HTML document constructor only depending on the C++ standard library.
- [CALLBACKS IN C++ USING TEMPLATE FUNCTORS](http://www.tutok.sk/fastgl/callback.html): Callbacks are in wide use, however current implementations differ and most suffer from shortcomings, not the least of which is their lack of generality. This article describes what callbacks are, how they are used, and the criteria for a good callback mechanism. It summarizes current callback methods and their weaknesses. It then describes a flexible, powerful and easy-to-use callback technique based on template functors - objects that behave like functions.
- [Sebastian Aaltonen](https://twitter.com/SebAaltonen/status/1080069784644059139): Now that people have already said highly controversial stuff like ”debugger is useless for C++ development”, I think I can share my own controversial thoughts about unit testing, DRY, copy-paste coding and function length, etc... with 20 years of C++ programming experience.
- [lazyCode](https://github.com/SaadAttieh/lazyCode): C++14: bringing in those expressions that you wish you had, Lazily evaluated, compossible generators, maps, filters, ranges and more...
- [libpostal](https://github.com/openvenues/libpostal): A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.
- [Practical Guide to Bare Metal C++](https://arobenko.gitbooks.io/bare_metal_cpp/content/).
- ["Modern" C++ Lamentations](http://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/): This will be a long wall of text, and kinda random! My main points are: C++ compile times are important,Non-optimized build performance is important and Cognitive load is important.
- [How to learn more as a C++ software engineer?](http://nullptr.nl/2019/01/better-cpp-software-engineer/)
- [tinyalloc](https://github.com/thi-ng/tinyalloc): malloc / free replacement for unmanaged, linear memory situations (e.g. WASM, embedded devices...)
- [emun](http://emun.ro/workspace): visual C/C++ debugger
- [GuiLite](https://github.com/idea4good/GuiLite): heavy_check_markThe smallest UI framework for all platform -- 5K lines code
- [How C array sizes become part of the binary interface of a library](https://developers.redhat.com/blog/2019/05/06/how-c-array-sizes-become-part-of-the-binary-interface-of-a-library/)
- [memory-profiler](https://github.com/nokia/memory-profiler)
- [MazuCC](https://github.com/jserv/MazuCC): A minimalist C compiler with x86_64 code generation
- [C++ Crash Course](https://lospi.net/c/c++/programming/developing/software/2019/07/28/cpp-crash-course.html)
- [An introduction to deterministic builds with C/C++](https://blog.conan.io/2019/09/02/Deterministic-builds-with-C-C++.html)
- [Modern C](https://modernc.gforge.inria.fr/) by Jens Gustedt.
- [Comparison of C/POSIX standard library implementations for Linux](https://www.etalabs.net/compare_libcs.html)
- [Microsoft's C++ Standard Library](https://github.com/microsoft/STL): MSVC's implementation of the C++ Standard Library.
- [Efficient string copying and concatenation in C](https://developers.redhat.com/blog/2019/08/12/efficient-string-copying-and-concatenation-in-c/)
- [Bartek's coding blog](https://www.bfilipek.com/2019/10/cppecosystem.html#sublime-text-atom-and-visual-studio-code): to write a professional C++ application, you not only need a basic text editor and a compiler. You require some more tooling. In this blog post, you’ll see a broad list of tools that make C++ programming possible: compilers, IDEs, debuggers and other.
- [C++ Creator Bjarne Stroustrup Answers Our Top Five C++ Questions](https://stackoverflow.blog/2019/10/11/c-creator-bjarne-stroustrup-answers-our-top-five-c-questions/)
- [Intel SPMD Program Compiler](https://ispc.github.io/): ispc is a compiler for a variant of the C programming language, with extensions for "single program, multiple data" (SPMD) programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. [github](https://github.com/ispc/ispc/)
- [cnp](https://github.com/aicodix/cnp): Check Node Processor in VHDL for LDPC decoding.
- [SPI MASTER AND SLAVE FOR FPGA](https://github.com/jakubcabal/spi-fpga): SPI master and SPI slave for FPGA written in VHDL.
- [Clang-format tanks performance](https://travisdowns.github.io/blog/2019/11/19/toupper.html), [Benchmark supporting baseless libel against clang-format](https://github.com/travisdowns/toupper-bench)
- [StrongOD](https://github.com/shellbombs/StrongOD)(anti anti-debug plugin) driver source code.
- [C4Noobs](https://github.com/jpaulohe4rt/c4noobs): Tutorial de C para iniciantes.
- [The problem with C](https://cor3ntin.github.io/posts/c/)
- TDD C:
- [Google Test](https://github.com/google/googletest): Google Testing and Mocking Framework.
- [Modern C++ Programming with Test-Driven Development](https://pragprog.com/titles/lotdd/modern-c-programming-with-test-driven-development/) by [Jeff Langr](https://github.com/jlangr)
- [The Biggest Problems of Unit Testing With C++](https://dzone.com/articles/the-biggest-problems-of-unit-testing-with-c)
- [Modern C](https://modernc.gforge.inria.fr/) by Jens Gustedt
- [Dogen](https://github.com/MASD-Project/dogen): Reference implementation of the MASD Code Generator.
- [C Playground](https://cplayground.com/)
- [Checked C](https://github.com/microsoft/checkedc) is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
- [datatype99](https://github.com/Hirrolot/datatype99): Algebraic data types for C99
- [Controlling GDB](https://sourceware.org/gdb/current/onlinedocs/gdb/Controlling-GDB.html)
- [Using Zig and Translate-C to understand weird C code](https://zig.news/sobeston/using-zig-and-translate-c-to-understand-weird-c-code-4f8)
- [libtcod](https://github.com/libtcod/libtcod): The official repository for libtcod. A roguelike development library.
#### Makefile
- [Makefile Tutorial by Example](https://makefiletutorial.com/) and [repo](https://github.com/theicfire/makefiletutorial)
- [Metaprogramming Make VI — The eval Function](http://make.mad-scientist.net/the-eval-function/)
- [Example of a detailed Makefile](https://gist.github.com/Integralist/9e27ff5582d37ed26aef)
- [Make and Bash Tips](https://github.com/Teradata/stampede/wiki/Make-and-Bash-Tips): Teradata/stampede Wiki
- [How to Create a Self-Documenting Makefile](https://www.freecodecamp.org/news/self-documenting-makefile/)
- [Quick Guide](https://www.tutorialspoint.com/makefile/makefile_quick_guide.htm)
##### KDE/Qt and GTK
- [Qt-CMake-HelloWorld](https://github.com/jasondegraw/Qt-CMake-HelloWorld): A Simple Qt5 Program Built with CMake
- [Atelier](https://github.com/kde/atelier): Open Source 3D Printing Host - User Interface
- [BitsOfBytes](https://github.com/vivaladav/BitsOfBytes): Code and projects from my blog posts.
- [How to create an application with Qt and C++](http://blog.davidecoppola.com/2016/10/how-to-create-an-application-with-qt-and-cpp/)
- [Crash course in Qt for C++ developers](https://www.cleanqt.io/blog/crash-course-in-qt-for-c%2B%2B-developers,-part-1): a crash course in Qt for C++ developers.
- [Foliate](https://github.com/johnfactotum/foliate): A simple and modern GTK eBook viewer, built with GJS and Epub.js.
#### Python
- [Think Python](http://greenteapress.com/wp/think-python-2e/) by [AllenDowney](https://github.com/AllenDowney), including [repo](https://github.com/AllenDowney/ThinkPython2)
- [Fluent Python Codes](https://github.com/fluentpython/example-code): Example code for the book Fluent Python by Luciano Ramalho (O'Reilly, 2014).
- [Fluent Python: notebooks](https://github.com/AllenDowney/fluent-python-notebooks): Jupyter notebooks and example code for the book Fluent Python
- [An O(ND) Difference Algorithm and Its Variations](http://blog.robertelder.org/diff-algorithm/)
- [Modular visual interface for GDB in Python](https://github.com/cyrus-and/gdb-dashboard)
- [Python+Processing code for creating a dotmap of every person in Brazil, color-coded by race](https://github.com/zynphull/RacialDotMap-Brazil/)
- [Python & Async Simplified](https://www.aeracode.org/2018/02/19/python-async-simplified/)
- [Python Plotting for Exploratory Data Analysis](http://pythonplot.com)
- [A curated list of awesome Python frameworks, libraries, software and resources](https://github.com/vinta/awesome-python#authentication)
- [Coconut Lang](https://github.com/evhub/coconut)
- [Python 3.7: Introducing Data Classes](https://blog.jetbrains.com/pycharm/2018/04/python-37-introducing-data-class/)
- [Replacing 90s C Linux Utilities With Python](https://matt.sh/netmatt)
- [Freezing Python’s Dependency Hell in 2018](https://tech.instacart.com/freezing-pythons-dependency-hell-in-2018-f1076d625241?gi=945babc43d8)
- [faust](https://github.com/robinhood/faust): Python Stream Processing
- [How to escape async/await hell – freeCodeCamp](https://medium.freecodecamp.org/avoiding-the-async-await-hell-c77a0fb71c4c)
- [black](https://github.com/ambv/black/): The uncompromising Python code formatter
- [python tutorials](https://nealcaren.github.io/python-tutorials/)
- [TheAlgorithms/Python](https://github.com/TheAlgorithms/Python): All Algorithms implemented in Python
- [Bowler](https://pybowler.io/): Safe code refactoring for modern Python
- [wallaroo](https://github.com/WallarooLabs/wallaroo): Build and scale real-time data applications as easily as writing a Python script - by [wallaroo labs](https://www.wallaroolabs.com/)
- Free Educational eBook: [Learn How To Program in Python 3](https://www.digitalocean.com/community/tutorials/digitalocean-ebook-how-to-code-in-python)
- [Python Tools for Visual Studio](http://microsoft.github.io/PTVS/)
- [Asterisks in Python: what they are and how to use them](http://treyhunner.com/2018/10/asterisks-in-python-what-they-are-and-how-to-use-them/)
- [dissect.cstruct](https://github.com/fox-it/dissect.cstruct): A no-nonsense c-like structure parsing library for Python
- [Type inference](https://eli.thegreenplace.net/2018/type-inference/)
- [Best Practices for Using Functional Programming in Python](https://kite.com/blog/python/functional-programming)
- [Python List Comprehensions](https://treyhunner.com/2015/12/python-list-comprehensions-now-in-color/): Explained Visually.
- [Using python script for data ETL](https://codeburst.io/using-python-script-for-data-etl-53138c567906)
- [Pipenv](https://chriswarrick.com/blog/2018/07/17/pipenv-promises-a-lot-delivers-very-little/): promises a lot, delivers very little.
- [Writing a GDB Frame Filter](https://medium.com/@mshockwave/writing-a-gdb-frame-filter-43bef88c9a53)
- [Fixing Python Memory Leaks](https://info.cloudquant.com/2018/12/numpyleaks/)
- [wtfpython](https://github.com/satwikkansal/wtfpython#-is-not--is-not-is-not-): A collection of surprising Python snippets and lesser-known features.
- [AMIE](https://github.com/NeatMonster/AMIE): A Minimalist Instruction Extender
- [snakefood](http://furius.ca/snakefood/): Python Dependency Graphs
- Python List Comprehensions: [Explained Visually](https://treyhunner.com/2015/12/python-list-comprehensions-now-in-color/)
- [Problem Solving with Algorithms and Data Structures using Python](http://interactivepython.org/runestone/static/pythonds/index.html)
- [logpy](https://github.com/logpy/logpy): Logic Programming in Python
- [PyPy for low-latency systems](https://morepypy.blogspot.com/2019/01/pypy-for-low-latency-systems.html)
- [Automate the Boring Stuff with Python](https://automatetheboringstuff.com/)
- [Has the Python GIL been slain?](https://hackernoon.com/has-the-python-gil-been-slain-9440d28fa93d)
- [Comprehensive Python Cheatsheet](https://gto76.github.io/python-cheatsheet/)
- [Zed Shaw's Learn Python the Hard Way.](https://github.com/kojoman/learn-python-the-hard-way)
- [Pointers in Python](https://realpython.com/pointers-in-python/): What's the Point?
- [A Visual Intro to NumPy and Data Representation](https://jalammar.github.io/visual-numpy/)
- [Lahja](https://github.com/ethereum/lahja) is a generic multi process event bus implementation written in Python 3.6+ to enable lightweight inter-process communication, based on non-blocking asyncio
- [Examples and customization tricks](https://docs.pytest.org/en/latest/example/index.html)
- (pt-br) [Truques e bizarrices em Python](https://github.com/mawkee/truques-e-bizarrices-em-python)
- [alive-progress](https://github.com/rsalmei/alive-progress): An animated and smart Progress Bar for python.
- [portray](https://timothycrosley.github.io/portray/): is a Python3 command line tool and library that helps you create great documentation websites for your Python projects with as little effort as possible.
- [Pygments](http://pygments.org/): is a generic syntax highlighter suitable for use in code hosting, forums, wikis or other applications that need to prettify source code.
- [python-sliders](https://github.com/hackingmath/python-sliders): Sliders for the Python mode of Processing
- [Python Verbal Expressions](https://github.com/VerbalExpressions/PythonVerbalExpressions): Python regular expressions made easy
- [Python is not context free](http://trevorjim.com/python-is-not-context-free/) [2012]
- [pythonic-news](https://github.com/sebst/pythonic-news/): A Hacker News lookalike written in Python/Django. [news.python.sc](https://news.python.sc).
- [Understanding time complexity with Python examples](https://towardsdatascience.com/understanding-time-complexity-with-python-examples-2bda6e8158a7)
- [Conference badge script](https://github.com/timmboettger/imc-badges)
- [adt-extension](https://github.com/alvarofpp/python-adt-extension): Python abstract data structure (ADT) extension.
- Emacs: [The Best Python Editor?](https://realpython.com/emacs-the-best-python-editor/)
- [reloading](https://github.com/julvo/reloading): Change Python code while it's running using a reloading loop
- [Lightweight Steering Approaches for Large Scale Physics Applications](https://www.youtube.com/watch?v=d5f9-Y3Wtbc&feature=youtu.be)
- [leanstr](https://github.com/ramalho/leanstr): A "lean" string class for Python, using UTF-8 internally
- [Better-Python-59-Ways](https://github.com/SigmaQuan/Better-Python-59-Ways): Code Sample of Book "Effective Python: 59 Specific Ways to Write Better Pyton" by Brett Slatkin
- [Come test a new release of pipenv, the Python development tool](https://fedoramagazine.org/come-test-a-new-release-of-pipenv-the-python-development-tool/)
- [FastAPI](https://github.com/tiangolo/fastapi) framework, high performance, easy to learn, fast to code, ready for production
- cython [dtoa.c](https://github.com/python/cpython/blob/master/Python/dtoa.c)
- [Learn to code with Wonder Woman, Smithsonian Learning Labs, and NASA](https://educationblog.microsoft.com/en-us/2020/09/learn-to-code-with-wonder-woman-smithsonian-learning-labs-and-nasa/), [Artemis](https://docs.microsoft.com/en-us/learn/modules/introduction-python-nasa/)
- [BeeWare Project](https://beeware.org/project/): The BeeWare Project aims to take the power of Python as a language, and use it to enable users of all skill levels to develop applications with native user interfaces.
- [kivy](https://github.com/kivy/kivy): Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS.
- [austin](https://github.com/P403n1x87/austin): Python frame stack sampler for CPython. Austin has a [tui](https://github.com/P403n1x87/austin-tui): The top-like text-based user interface for Austin.
- [Python Cheatsheet](https://github.com/Cheatsheet-lang/Python)
- [Nbdev](https://github.blog/2020-11-20-nbdev-a-literate-programming-environment-that-democratizes-software-engineering-best-practices/): A literate programming environment that democratizes software engineering best practices
- [quickpython](https://timothycrosley.github.io/quickpython/)
- [Run Python Applications Efficiently With malloc_trim - Software at Scale by Utsav](https://reliability.substack.com/p/run-python-servers-more-efficiently)
- [Course Files for Complete Python 3 Bootcamp Course on Udemy](https://github.com/Pierian-Data/Complete-Python-3-Bootcamp)
- [PuDB](https://documen.tician.de/pudb/): a console-based visual debugger for Python.
- [Rich](https://github.com/willmcgugan/rich) is a Python library for rich text and beautiful formatting in the terminal.
- [Python Prompt Toolkit](https://github.com/prompt-toolkit/python-prompt-toolkit): Library for building powerful interactive command line applications in Python.
- [wtfpython](https://github.com/satwikkansal/wtfpython): What the f*ck Python? 
- [Creating an Among Us Bot in Python](https://www.youtube.com/watch?v=RQ5Z73kmofA), [amony_us_easy](https://github.com/aphrx/amony_us_easy)
- [cython_list_test](https://github.com/00sapo/cython_list_test): Just a small test with lists in cython
- [Interfaces and Protocols](https://glyph.twistedmatrix.com/2021/03/interfaces-and-protocols.html)
- [How to use Poetry to manage your Python projects on Fedora](https://fedoramagazine.org/how-to-use-poetry-to-manage-your-python-projects-on-fedora/)
- [cinder](https://github.com/facebookincubator/cinder)
- [10 advanced Python concepts that you want to look](https://twitter.com/svpino/status/1391332116420509696)
- [Clean Architectures in Python](https://leanpub.com/clean-architectures-in-python)
- [OpenTelemetry Python](https://github.com/open-telemetry/opentelemetry-python): OpenTelemetry Python API and SDK
- [string methods](https://twitter.com/AbzAaron/status/1434556230014541826)
- [cookiecutter-hypermodern-python](https://github.com/cjolowicz/cookiecutter-hypermodern-python): Cookiecutter template for a Python package based on the [Hypermodern Python](https://cjolowicz.github.io/posts/hypermodern-python-06-ci-cd/) [article series](https://cjolowicz.github.io/posts/hypermodern-python-01-setup/).
- [Awesome Python modules as script](https://github.com/cassiobotaro/awesome-python-modules-as-script): Catalogue of useful python modules that run as script.
- [RustPython](https://github.com/RustPython/RustPython)A Python Interpreter written in Rust
- [Arrow](https://arrow.readthedocs.io/en/latest/): Better dates & times for Python
- [Yet Another Roguelike Tutorial - Written in Python 3 and TCOD](http://rogueliketutorials.com/tutorials/tcod/v2/). [python-tcod](https://github.com/libtcod/python-tcod): A high-performance Python port of libtcod. Includes the libtcodpy module for backwards compatibility with older projects.
##### Presentations
- [Miguel Grinberg - Asynchronous Python for the Complete Beginner](https://speakerdeck.com/pycon2017/miguel-grinberg-asynchronous-python-for-the-complete-beginner)
- [The Future of Python Dependency Management](https://speakerdeck.com/kennethreitz/the-future-of-python-dependency-management)
- [Beautiful folds](https://github.com/Gabriel439/slides/blob/master/munihac/foldmap.md) commonly arise in parallel/distributed programming
- [I Don't like notebooks](https://docs.google.com/presentation/d/1n2RlMdmv1p25Xy5thJUhkKGvjtV-dkAIsUXP-AL4ffI/preview?slide=id.g362da58057_0_1)
- [Slides and talk assets from PyCon 2017](https://github.com/PyCon/2017-slides)
#### Others
- Agda:
- [plfa](https://github.com/plfa/plfa.github.io/): Introduction to programming language theory in Agda and [Programming Language Foundations in Agda](https://plfa.github.io/).
- [Agda 2](https://github.com/agda/agda)
- Anglican:
- [Anglican](https://probprog.github.io/anglican/index.html): A Probabilistic Programming System.
- Answer Set Programming(ASP): offers a simple and powerful modeling language to solve combinatorial problems.
- [Potassco](https://potassco.org/), [clingo](https://potassco.org/clingo/) and [github](https://github.com/potassco/clingo).
- Brainfuck:
- [Brainfuck](https://www.dcode.fr/brainfuck-language) encoder/decoder.
- Dafny:
- [dafny](https://github.com/Microsoft/dafny): Dafny is a verification-aware programming language.
- Clean:
- [Clean](https://clean.cs.ru.nl/Clean): Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Some of its most notable language features are uniqueness typing, dynamic typing, and generic functions.
- Elixir:
- [Nerves](https://github.com/nerves-project/nerves): Craft and deploy bulletproof embedded software in Elixir. [official site](http://nerves-project.org)
- [dialyxir](https://github.com/jeremyjh/dialyxir): Mix tasks to simplify use of Dialyzer in Elixir projects.
- (pt-br) [Learn Functional Programming with Elixir](https://github.com/ulissesalmeida/learn-fp-with-elixir-exercises).
- Go:
- [Go references](https://standupdev.com/wiki/doku.php?id=go_references)
- [Awesome Go](https://github.com/avelino/awesome-go): A curated list of awesome Go frameworks, libraries and software
- [ObjectBox Go](https://github.com/objectbox/objectbox-go): persisting your Go structs/objects superfast and simple
- [lattigo](https://github.com/lca1/lattigo): A lattice-based cryptographic library in Go.
- [chime](https://www.chimehq.com/): Capable. Focused. Fast. A Go editor for macOS.
- Haskell:
- [An opinionated guide to Haskell in 2018](https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2018/)
- [homplexity](https://github.com/migamake/homplexity): Haskell code complexity and quality measurement.
- [Getting Started with Haskell on Fedora](https://fedoramagazine.org/getting-started-with-haskell-on-fedora/)
- Java:
- [Procyon](https://github.com/mstrobel/procyon): is a suite of Java metaprogramming tools, including a rich reflection API, a LINQ-inspired expression tree API for runtime code generation, and a Java decompiler.
- [1brc](https://github.com/gunnarmorling/1brc): [The One Billion Row Challenge](https://www.morling.dev/blog/one-billion-row-challenge/) -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
- JavaScript:
- [The JavaScript Handbook](https://jshandbook.com/)
- [javascript-algorithms](https://github.com/trekhleb/javascript-algorithms): Algorithms and data structures implemented in JavaScript with explanations and links to further readings.
- K:
- [k tutorial](https://shakti.com/tutorial/)
- Kotlin:
- [mvrx-example](https://github.com/ignusdigital/mvrx-example)
- [Why Kotlin?](https://www.slideshare.net/slideshow/embed_code/key/4REcPywFNmFBAy)
- Lisp:
- [Ferret](https://github.com/nakkaya/ferret) is a free software lisp implementation for real time embedded control systems.
- [LISP, THE UNIVERSE AND EVERYTHING](https://lisp-univ-etc.blogspot.com/2019/07/programming-algorithms-book.html).
- Lua:
- [xmake](https://github.com/xmake-io/xmake): 🔥 A cross-platform build [utility based on Lua](https://xmake.io)
- Nim:
- [nim](https://nim-lang.org/): Efficient and expressive programming. [github](https://github.com/nim-lang/nim)
- Perl:
- Larry Wall's [Very Own](http://www.wall.org/~larry/) Home Page
- [Perl is dying quick](https://thehftguy.com/2019/10/07/perl-is-dying-quick-could-be-extinct-by-2023/). Could be extinct by 2023.
- PHP:
- [A curated list of bookmarks, packages, tutorials, videos and other cool resources from the Laravel ecosystem](https://github.com/chiraggude/awesome-laravel)
- [Setup VS Code for Efficient PHP development](https://blog.theodo.com/2019/07/vscode-php-development/)
- [Topological Sort / Dependency resolver in PHP](https://github.com/marcj/topsort.php): High-Performance Topological Sort / Dependency resolver in PHP.
- Ruby:
- [Radiation-hardened Quine](https://github.com/mame/radiation-hardened-quine): A robust quine program that works even after any one character is deleted.
- [Ruby Garbage Collection Deep Dive: GC::INTERNAL_CONSTANTS](https://jemma.dev/blog/gc-internal)
- [UNUSED](https://unused.codes/): [dentify cruft in a codebase with ease](https://github.com/unused-code/unused).
- Rust:
- [Awesome Rust](https://github.com/rust-unofficial/awesome-rust): A curated list of Rust code and resources.
- [PortingCToRust](https://wiki.alopex.li/PortingCToRust)
- [Guide to develop secure applications with Rust](https://github.com/ANSSI-FR/rust-guide): Recommendations for secure applications development with Rust
- [Easy Postgres extensions in Rust with pg-extend-rs](https://bluejekyll.github.io/blog/rust/2018/12/27/announcing-pg-extend.html)
- [Sacara](https://github.com/enkomio/sacara): A stack based intermediate language aimed at software protection by running in a software VM.
- Scala:
- [Implicits, type classes, and extension methods, part 1: with type classes in mind](https://kubuszok.com/2018/implicits-type-classes-and-extension-methods-part-1/)
- [sbt-slash](https://github.com/sbt/sbt-slash): unified slash syntax for both shell and build.sbt
- Swift:
- [Swift on Raspberry Pi](https://blog.lickability.com/swift-on-raspberry-pi-e44c79fc32f3)
- V:
- [V](https://github.com/vlang-io/V): Simple, fast, safe, compiled language for creating maintainable software. Supports translation from C/C++.
- [vlang](https://github.com/vlang/v): Simple, fast, safe, compiled language for developing maintainable software. Supports translation from C and (soon) C++. Compiles itself in <1s.
- Verilog:
- [Designing Hardware with Verilog](http://8bitworkshop.com/blog/release/2018/12/15/verilog-programming.html)
- [vyper](https://github.com/ethereum/vyper/):
- Watch Your Language: [Our First Vyper Audit](https://blog.trailofbits.com/2019/10/24/watch-your-language-our-first-vyper-audit/)
- Yorlang:
- [yorlang](https://github.com/anoniscoding/yorlang): [Yorlang](https://anoniscoding.github.io/yorlang/) is an esoteric programming language designed to write small programs using yoruba language constructs. It is the first of its kind and it can carry out basic programming operations in yoruba language (a language spoken in some parts of Nigeria ).
- [Fast Enough VMs in Fast Enough Time](https://tratt.net/laurie/blog/entries/fast_enough_vms_in_fast_enough_time.html), [Converge](https://convergepl.org/) is a dynamically typed object orientated programming language with compile-time meta-programming facilities - put simply, Converge has a macro-like facility that can embed domain specific languages with arbitrary syntaxes into source files. Find out more.
#### Version Control
- [Meld](https://github.com/yousseb/meld/): Meld is a visual diff and merge tool targeted at developers. Meld helps you compare files, directories, and version controlled projects. It provides two- and three-way comparison of both files and directories, and supports many version control systems including Git, Mercurial, Bazaar and Subversion.
- [kompare](https://github.com/KDE/kompare): Graphical File Differences Tool
- [Monorepos](https://medium.com/@mattklein123/monorepos-please-dont-e9a279be011b): Please don’t!
- [Don't ask if a monorepo is good for you – ask if you're good enough for a monorepo](https://yosefk.com/blog/dont-ask-if-a-monorepo-is-good-for-you-ask-if-youre-good-enough-for-a-monorepo.html)
- [Monorepo or Multirepo? Role-Based Repositories](https://blog.7mind.io/role-based-repositories.html)
- **Mercurial**:
- [Monoke](https://github.com/facebookexperimental/mononoke): A Mercurial source control server, specifically designed to support large monorepos.
- [Welcome to Pull Request Roulette](http://www.pullrequestroulette.com/).
- Starting Pull Requests:
- [Awesome First PR Opportunities](https://github.com/MunGell/awesome-for-beginners)
- [Algorithmic-Pseudocode](https://github.com/Just-A-Visitor/Algorithmic-Pseudocode/issues)
- [awesome-social-projects](https://github.com/Jciel/awesome-social-projects)
- [The Minimum Viable Pull-request](https://dev.to/jmfayard/the-minimum-viable-pull-request-5e7p)
- [sourcehut](https://sr.ht/) is a collection of tools useful for software development.
##### git
- [Pro Git book](https://git-scm.com/book/en/v2), written by Scott Chacon and Ben Straub ([github](https://github.com/progit/progit2) repo)
- [git-sizer](https://github.com/github/git-sizer/): Compute various size metrics for a Git repository, flagging those that might cause problems ( [article](https://blog.github.com/2018-03-05-measuring-the-many-sizes-of-a-git-repository/))
- [git-semantics](https://github.com/kewitz/git-semantics): Git hook to ensure semantic commit messages.
- [10 Common Git Problems and How to Fix Them](https://citizen428.net/10-common-git-problems-and-how-to-fix-them-e8d809299f08)
- [lazygit](https://github.com/jesseduffield/lazygit): simple terminal UI for git commands
- [husky](https://github.com/typicode/husky): Git hooks made easy
- [lint-staged](https://github.com/okonet/lint-staged): Run linters on git staged files
- 6 [Github](https://www.cyberciti.biz/open-source/github-alternatives-open-source-seflt-hosted/) alternatives that are open source and self-hosted
- [Git Submodules vs Git Subtrees](https://codewinsarguments.co/2016/05/01/git-submodules-vs-git-subtrees/) | Code Wins Arguments
- Sublime Merge:[Git, done Sublime](https://www.sublimemerge.com/)
- [Git Cheatsheet](https://ndpsoftware.com/git-cheatsheet.html#loc=workspace;)
- [gitx](https://github.com/codebasesaga/GitX): GitX‐modded
- (pt-br) [git](http://rogerdudler.github.io/git-guide/index.pt_BR.html): guia prático - sem complicação!
- [gogs](https://github.com/gogs/gogs): Gogs is a painless self-hosted Git service.
- [A Git Horror Story](https://mikegerwitz.com/papers/git-horror-story): Repository Integrity With Signed Commits. How to use git securely (signing commits)
- [gitea](https://github.com/go-gitea/gitea): Git with a cup of tea, painless self-hosted git service
- [Getting Started - Git Basics](https://git-scm.com/book/en/v2/Getting-Started-Git-Basics)
- [A Visual Git Reference](https://marklodato.github.io/visual-git-guide/index-en.html)
- [Learn git branching](https://learngitbranching.js.org/): An interactive git visualization to challenge and educate! [github](https://github.com/pcottle/learnGitBranching).
- [gitless](https://gitless.com): A version control system built on top of Git [github](https://github.com/sdg-mit/gitless).
- [How can I undo the last commit?](https://www.git-tower.com/learn/git/faq/undo-last-commit)
- [Git: “Not currently on any branch.” Is there an easy way to get back on a branch, while keeping the changes?](https://stackoverflow.com/questions/4735556/git-not-currently-on-any-branch-is-there-an-easy-way-to-get-back-on-a-branch)
- [.gitignore](https://github.com/github/gitignore): A collection of useful .gitignore templates
- [24 Pull Requests](https://24pullrequests.com/): You’ve been benefiting from the use of open source projects all year. Now is the time to say thanks to the maintainers of those projects, and a little birdy tells me that they love receiving contributions!
- [GitHub Learning Lab](https://lab.github.com/githubtraining/)
- [branch - Git merge errors](https://stackoverflow.com/questions/6006737/git-merge-errors)
- [git - Why can I not switch branches?](https://stackoverflow.com/questions/6002732/why-can-i-not-switch-branches)
- [How to Fix Git Error](https://appuals.com/how-to-fix-git-error-you-need-to-resolve-your-current-index-first/): You need to resolve your current index first
- [devhub](https://github.com/devhubapp/devhub): DevHub: TweetDeck for GitHub - Android, iOS and Web 👉
- [Git Cheat Sheet](https://gist.github.com/akras14/3d242d80af8388ebca60)
- [Write good git commit message](https://juffalow.com/other/write-good-git-commit-message)
- [cz-cli](https://github.com/commitizen/cz-cli): The commitizen command line utility.
- [Switch branches](https://backlog.com/git-tutorial/branching/switch-branch/)
- [Git Branching](https://git-scm.com/book/en/v2/Git-Branching-Basic-Branching-and-Merging): Basic Branching and Merging
- [How to teach Git](https://rachelcarmena.github.io/2018/12/12/how-to-teach-git.html)
- [Forge](https://github.com/magit/forge/): Work with Git forges from the comfort of Magit
- [gita](https://github.com/nosarthur/gita): Manage multiple git repos side by side for sanity
- [How GitHub Classroom and Travis CI improved students’ grades](https://github.blog/2019-02-12-how-github-classroom-and-travis-ci-improved-students-grades/)
- [Git hacks no one tells you about](https://medium.com/devopslinks/git-hacks-no-one-tells-you-about-e841d50cb474)
- [An introduction to Git](https://www.freecodecamp.org/news/what-is-git-and-how-to-use-it-c341b049ae61/): what it is, and how to use it
- [Learn the Basics of Git in Under 10 Minutes](https://www.freecodecamp.org/news/learn-the-basics-of-git-in-under-10-minutes-da548267cc91/)
- (pt-br) [git-beyond-the-trivial](https://github.com/drrzmr/git-beyond-the-trivial).
- Learning git: [Locations, Remotes, and GitHub](https://www.willingconsulting.com/post/2019-07-01-locations-and-git/)
- (pt-br) [4 livros grátis de Git para iniciantes (online e PDF)](https://guiainfo.net/4-livros-gratis-de-git-para-iniciantes-online-e-pdf/)
- (pt-br) [Github descomplicado](https://medium.com/@anarossini01/github-descomplicado-2eb7f9fb2b60)
- (pt-br) [Git Colinha](https://github.github.com/training-kit/downloads/pt_BR/github-git-cheat-sheet/)
- (pt-br) [git - guia prático](https://rogerdudler.github.io/git-guide/index.pt_BR.html)
- Some good tips to gitconfig:
- [Visualizing branch topology in git](https://stackoverflow.com/questions/1838873/visualizing-branch-topology-in-git)
- [git-blame-someone-else](https://github.com/jayphelps/git-blame-someone-else): Blame someone else for your bad code.
- [High-level Problems with Git and How to Fix Them](https://gregoryszorc.com/blog/2017/12/11/high-level-problems-with-git-and-how-to-fix-them/)
- [My favourite Git commit](https://fatbusinessman.com/2019/my-favourite-git-commit)
- [gitpod](https://www.gitpod.io/): One-Click Online IDE for GitHub
- [forgit](https://github.com/wfxr/forgit) is a utility tool for git taking advantage of fuzzy finder fzf. [Interactive Git Commands With Previews Powered By fzf Fuzzy Finder](https://www.linuxuprising.com/2019/11/forgit-interactive-git-commands-with.html)
- [Fedora Classroom Session: Git 101 with Pagure](https://fedoramagazine.org/fedora-classroom-session-git-101-with-pagure/)
- [GitGuardian Documentation and Resources](https://github.com/GitGuardian/APISecurityBestPractices)
- GitHub Profiles:
- [Awesome Readme Stats](https://github.com/anmol098/waka-readme-stats)
- [ghuser.io](https://github.com/ghuser-io/ghuser.io): Better GitHub profiles
- (pt-br) [Github Profile: Como fazer?](https://dev.to/dii_lua/github-profile-como-fazer-54o0)
- [Git4Noobs](https://github.com/DanielHe4rt/git4noobs)
- (pt-br) [github4nondevs](https://github.com/Carolis/github4nondevs): Guia introdutório de utilização básica da interface do github para pessoas não desenvolvedoras ou não interessadas em utilizar a interface de comandos do git.
- [Fortunately, I don't squash my commits](https://blog.ploeh.dk/2020/10/05/fortunately-i-dont-squash-my-commits/)
- [github-cli](https://github.com/cli/cli): GitHub’s official command line tool
- [Learn Git Branching](https://learngitbranching.js.org/):
- [Version Control Without Git](https://itoshkov.github.io/git-tutorial): In this tutorial I’ll try to describe how git works, without using git. Instead, we’ll create a simple, git-like system using just zip files diff and patch.
- [cheatsheet do git-flow](https://danielkummer.github.io/git-flow-cheatsheet/index.pt_BR.html) [github repo](https://github.com/danielkummer/git-flow-cheatsheet)
- [A successful Git branching model](https://nvie.com/posts/a-successful-git-branching-model/)
- [How to squash and rebase in git](https://www.jenweber.dev/how-to-squash-and-rebase/)
#### Software Engineering
- [UML - Class Diagram](https://www.tutorialspoint.com/uml/uml_class_diagram.htm)
- [UML 2 Class Diagrams](http://www.agilemodeling.com/artifacts/classDiagram.htm): An Agile Introduction
- [Object-Oriented Design Concepts in UML](https://www.uml-diagrams.org/uml-object-oriented-concepts.html)
- All You Need to Know About UML Diagrams: [Types and 5+ Examples](https://tallyfy.com/uml-diagram/)
- [Curated list of UML tools – 2018 edition](https://modeling-languages.com/uml-tools/)
- [UML Tools for Python](http://sungsoo.github.io/2018/03/21/uml-tools-for-python.html)
- [Monolith -> Services: Theory & Practice](https://medium.com/@kentbeck_7670/monolith-services-theory-practice-617e4546a879)
- [Why UML "Really" Died](https://buttondown.email/hillelwayne/archive/why-uml-really-died/)
- [Sequence diagrams, the only good thing UML brought to software development](https://www.mermaidchart.com/blog/posts/sequence-diagrams-the-good-thing-uml-brought-to-software-development)
---
### Hardware
- [Ariane is a 6-stage RISC-V CPU](https://github.com/pulp-platform/ariane)
- [Effects of CPU caches](https://medium.com/@minimarcel/effect-of-cpu-caches-57db81490a7f)
- [Introduction to Computer Organization](http://bob.cs.sonoma.edu/IntroCompOrg-x64/book.html) with x86-64 Assembly Language \& GNU/Linux, by [Robert G. Plantz](http://bob.cs.sonoma.edu/index.html)
- [XNU/ARM64](https://github.com/Darm64/XNU): Research into porting the XNU kernel to ARM devices.
- [Why use an FPGA instead of a CPU or GPU?](https://blog.esciencecenter.nl/why-use-an-fpga-instead-of-a-cpu-or-gpu-b234cd4f309c)
- [NandGame](http://nandgame.com/): Build a computer from scratch. <- [Build a Fun CPU in Your Browser](https://hackaday.com/2018/08/20/build-a-fun-cpu-in-your-browser/)
- [darkriscv](https://github.com/darklife/darkriscv): opensouce RISC-V implemented from scratch in one night!
- [The Zip CPU](https://github.com/ZipCPU/zipcpu): A small, light weight, RISC CPU soft core
- [BubbleSort-ARM64](https://github.com/Billy-Ellis/BubbleSort-ARM64): Implementation of the BubbleSort algorithm written from scratch in ARM64 assembly
- Department of Computer Science and Technology: [Capability Hardware Enhanced RISC Instructions (CHERI)](https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/)
- [Vectorized Emulation: Hardware accelerated taint tracking at 2 trillion instructions per second](https://gamozolabs.github.io/fuzzing/2018/10/14/vectorized_emulation.html).
- [Vectorized Emulation: MMU Design](https://gamozolabs.github.io/fuzzing/2018/11/19/vectorized_emulation_mmu.html) - [github](https://github.com/gamozolabs/vectorized_mmu) (Snapshot of the vectorized MMU that lines up with the vectorized MMU blog)
- [Reverse engineering the ARM1, ancestor of the iPhone's processor](http://www.righto.com/2015/12/reverse-engineering-arm1-ancestor-of.html)
- [x86doc](https://github.com/zneak/x86doc): HTML representation of the Intel x86 instructions documentation.
- [hardware-effects](https://github.com/Kobzol/hardware-effects): Demonstration of various hardware effects.
- Lessons from Running a Small-Scale Electronics Factory in my Guest Bedroom, part 1: [Design](https://spun.io/2018/12/15/lessons-from-running-a-small-scale-electronics-factory-in-my-guest-bedroom-part-1-design/)
- [Apple Macintosh Group](http://www.byrdsight.com/apple-macintosh/): Firsts chips made by Apple.
- [sail-arm](https://github.com/rems-project/sail-arm): Sail version of ARM ISA definition, currently for ARMv8.5-A
- [swerv_eh1](https://github.com/westerndigitalcorporation/swerv_eh1): A directory of Western Digital’s RISC-V SweRV Cores
- [RARS](https://github.com/TheThirdOne/rars): RISC-V Assembler and Runtime Simulator.
- [Recover the Executable ROS](https://github.com/stepleton/5100ExecutableROSDecode)(ROM) of an IBM 5100 from screen photographs, using elementary image processing and machine learning.
- [An Intel Programmer Jumps Over the Wall: First Impressions of ARM SIMD Programming](https://branchfree.org/2019/03/26/an-intel-programmer-jumps-over-the-wall-first-impressions-of-arm-simd-programming/)
- [RISC Is Fundamentally Unscalable](https://blackhole12.com/blog/risc-is-fundamentally-unscalable/)
- [x86 and amd64 instruction reference](https://www.felixcloutier.com/x86/index.html)
- [x86-manpages](https://github.com/ttmo-O/x86-manpages): x86 and amd64 instruction reference manual pages.
- [SkyWater Open Source PDK](https://github.com/google/skywater-pdk): Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
- [cva6](https://github.com/openhwgroup/cva6): The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux.
- [Produce your own physical chips. For free. In the Open.](https://fossi-foundation.org/2020/06/30/skywater-pdk)
- [The Complete 48K Disassembly](https://speccy.xyz/rom/)
- [A Guide to the IBM 3033 Processor Complex, Attached Processor Complex, and Multiprocessor Complex of System/370](https://usermanual.wiki/Document/GC20185943033ProcessorComplexApr79.3299975525/view)
- [vm80a](https://github.com/1801BM1/vm80a): i8080 precise replica in Verilog, based on reverse engineering of real die.
- [DOGE Bank CICS](https://github.com/mainframed/DOGECICS/): Doge bank expensive new COBOL front end. The retail branches are gonna love this!
- [Reverse engineering RAM storage in early Texas Instruments calculator chips](https://www.righto.com/2020/11/reverse-engineering-ram-storage-in.html)
- [VGChips](https://github.com/furrtek/VGChips): Video Game custom chips reverse-engineered from silicon.
- [NyuziProcessor](https://github.com/jbush001/NyuziProcessor/): GPGPU microprocessor architecture
- [What's new in CPUs since the 80s?](https://danluu.com/new-cpu-features/)
- [This Week in Glean: What Flips Your Bit?](https://blog.mozilla.org/data/2022/04/13/this-week-in-glean-what-flips-your-bit/)
### Electronics
- [Circuit Simulator](https://www.falstad.com/circuit/circuitjs.html) version 2.1.15js by pfalstad.
- [node-lib](https://github.com/diefarbe/node-lib/): A node library for manipulating color on the Das Keyboard 5Q
- [Blink an LED With Arduino in Tinkercad: 6 Steps (with Pictures)](https://www.instructables.com/id/Blink-an-LED-With-Arduino-in-Tinkercad/)
- [Tomu](https://tomu.im/) - A tiny ARM microprocessor which fits in your USB port.
- [Circuit Simulator](http://www.lushprojects.com/circuitjs/). [github](https://github.com/sharpie7/circuitjs1).
- [One-bit Computing at 60 Hertz](http://laughtonelectronics.com/Arcana/One-bit%20computer/One-bit%20computer.html)
## Operating Systems
- [User-space RCU](https://lwn.net/Articles/573424/)
- [Incompatible Timesharing System](https://github.com/PDP-10/its): ITS, the Incompatible Timesharing System, is an operating system for the PDP-10 computer family. It was created by hackers at MIT in the 1960s. The MIT site was shut down in 1990, but enthusiasts continue to operate ITS systems to this day.
- [Operating Systems: Three Easy Pieces](http://pages.cs.wisc.edu/~remzi/OSTEP/)
- [Realmode Assembly](https://0x00sec.org/t/realmode-assembly-writing-bootable-stuff-part-5/3667) - Writing bootable stuff
- [MS-DOS](https://github.com/Microsoft/MS-DOS): The original sources of MS-DOS 1.25 and 2.0, for reference purposes
- [How Does an Intel Processor Boot?](https://binarydebt.wordpress.com/2018/10/06/how-does-an-x86-processor-boot/)
- [interim](https://github.com/mntmn/interim): The Interim Operating System
- [OpenBSD's unveil()](https://lwn.net/Articles/767137/)
- [Realmode Assembly](https://0x00sec.org/t/realmode-assembly-writing-bootable-stuff-part-7/8798) - Writing bootable stuff - Part 7 - Programming - 0x00sec - The Home of the Hacker
- [Unikernels: No Longer an Academic Exercise](http://250bpm.com/blog:138)
- [McKernel](https://www.sys.r-ccs.riken.jp/ResearchTopics/os/mckernel/)
- [Write your Own Virtual Machine](https://justinmeiners.github.io/lc3-vm/) with code repo: [lc3-vm](https://github.com/justinmeiners/lc3-vm)
- [9hist](https://github.com/0intro/9hist): History of the Plan 9 kernel (1990 - 2003).
- [EmuTOS](https://github.com/emutos/emutos): is a Free operating system for Atari computers, and more.
- [K2 Operating System](http://www.k2os.org/): K2 is an operating system for energy-efficient mobile System-on-chip.
- [Sanos](http://www.jbox.dk/sanos/index.htm): Sanos is a minimalistic 32-bit x86 operating system kernel for network server appliances running on standard PC hardware.
- [Guix](https://ambrevar.xyz/guix-advance/index.html): A most advanced operating system.
- [Mezzano](https://github.com/froggey/Mezzano/): An operating system written in Common Lisp.
- [It’s Time for a Modern Synthesis Kernel](https://blog.regehr.org/archives/1676).
- [bootOS](https://github.com/nanochess/bootOS) is a monolithic operating system in 512 bytes of x86 machine code.
- [A dream of an ultimate OS](http://okmij.org/ftp/papers/DreamOSPaper.html).
- [KTF](https://github.com/awslabs/ktf)- Kernel Test Framework.
- [A Requiem for a Dying Operating System](https://user.eng.umd.edu/~blj/funny/requium.html) or The Conquerer Has No Clothes.
- [LearnOS](https://github.com/dhavalhirdhav/LearnOS): This is one of my long awaited project on learning to develop an Operating System.
### Linux Kernel
- [ktask](https://lwn.net/Articles/771169/): optimizing CPU-intensive kernel work, LWN.net.
- [Unikernels](https://dl.acm.org/citation.cfm?id=3321445): The Next Stage of Linux's Dominance
- [How the ARM32 kernel starts](https://people.kernel.org/linusw/how-the-arm32-kernel-starts)
- [An introduction to lockless algorithms](https://lwn.net/Articles/844224/)
- [The case of the overly anonymous anon_vma](https://lwn.net/Articles/383162/)
### Memory
- [Myths Programmers Believe about CPU Caches](https://software.rajivprab.com/2018/04/29/myths-programmers-believe-about-cpu-caches/)
- [Every 7.8μs your computer’s memory has a hiccup](https://blog.cloudflare.com/every-7-8us-your-computers-memory-has-a-hiccup/) [c program](https://github.com/cloudflare/cloudflare-blog/blob/master/2018-11-memory-refresh/measure-dram.c)
- [Caches](http://danluu.com/2choices-eviction/): LRU v. random
## Compilers
- [LLVM for Grad Students](http://www.cs.cornell.edu/~asampson/blog/llvm.html)
- A text file that is also a [executable](http://www.cs.cmu.edu/~tom7/abc/paper.txt) (both are a paper, actually)
- [moustique](https://github.com/matt-42/moustique): C++14 high performance non-blocking network IO (based on epoll + boost.context)
- [LD_PRELOAD](https://blog.jessfraz.com/post/ld_preload/): The Hero We Need and Deserve.
- [Do It Yourself (OpenJDK) Garbage Collector](https://shipilev.net/jvm/diy-gc/)
- [Let's Write an LLVM Specializer for Python!](http://dev.stephendiehl.com/numpile/)
- [Compiler Explorer](https://godbolt.org/): Run compilers interactively from your web browser and interact with the assembly. [github](https://github.com/mattgodbolt/compiler-explorer), [how it works](https://xania.org/201609/how-compiler-explorer-runs-on-amazon).
- [GraalVM](https://github.com/oracle/graal): GraalVM is a universal virtual machine for running applications written in JavaScript, Python, Ruby, R, JVM-based languages like Java, Scala, Clojure, Kotlin, and LLVM-based languages such as C and C++. [GraalVM Implementation of Python](https://github.com/graalvm/graalpython)
### API
- [Useful checklist for building good Python library APIs, based on "How to make a good library API" PyCon 2017 talk](https://github.com/vintasoftware/python-api-checklist/)
- [cookiecutter-flask](https://github.com/cookiecutter-flask/cookiecutter-flask): A flask template with Bootstrap 4, asset bundling+minification with webpack, starter templates, and registration/authentication. For use with cookiecutter.
- [cookiecutter-flask-restful](https://github.com/karec/cookiecutter-flask-restful): Flask cookiecutter template for builing APIs with flask-restful, including JWT auth, cli, tests, swagger, docker and more
- (pt-br) [Do zero a implantação](https://github.com/cassiobotaro/do_zero_a_implantacao): utilizando Python. [Construindo API's robustas utilizando Python](https://github.com/luizalabs/tutorial-python-brasil) []()
## Distributed Systems
- [CharmPy](https://charmpy.readthedocs.io/en/latest/) is a high-level parallel and distributed programming framework with a simple and powerful API, based on migratable Python objects and remote method invocation; built on top of an adaptive C/C++ runtime system providing speed, scalability and dynamic load balancing.
- [FASTER](https://github.com/Microsoft/FASTER): Fast key-value store from Microsoft Research
- [porcupine](https://github.com/anishathalye/porcupine/): A fast linearizability checker written in Go
- [DrTLAPlus](https://github.com/tlaplus/DrTLAPlus/): learn an algorithm and protocol, study a specification
- [White Rabbit](https://ohwr.org/project/white-rabbit/wikis/home): White Rabbit provides sub-nanosecond accuracy and picoseconds precision of synchronization for large distributed systems.
## Pattern Recognition
- [annoy](https://github.com/spotify/annoy): Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk
- [tesseract](https://github.com/tesseract-ocr/tesseract): Tesseract Open Source OCR Engine (main repository)
- [pampy](https://github.com/santinic/pampy): The Pattern Matching for Python you always dreamed of.
- [EasyOCR](https://github.com/JaidedAI/EasyOCR): Ready-to-use OCR with 40+ languages supported including Chinese, Japanese, Korean and Thai.
## Artificial Intelligence
- [Lisp code](https://github.com/norvig/paip-lisp) for the textbook "Paradigms of Artificial Intelligence Programming"
- [OpenAI](https://thegradient.pub/openai-please-open-source-your-language-model/): Please Open Source Your Language Model
- [Which Face Is Real?](http://www.whichfaceisreal.com): Our aim is to make you aware of the ease with which digital identities can be faked, and to help you spot these fakes at a single glance.
- [faceswap](https://github.com/deepfakes/faceswap): Non official project based on original /r/Deepfakes thread. Many thanks to him!
- [DeepFakes](https://github.com/isharaux/deepfakes): Implementation of Deep Fakes algorithm, in tensorflow
- [DeepFaceLab](https://github.com/iperov/DeepFaceLab): is a tool that utilizes machine learning to replace faces in videos. Includes prebuilt ready to work standalone Windows 7,8,10 binary (look readme.md).
- [libfacedetection](https://github.com/ShiqiYu/libfacedetection): An open source library for face detection in images. The face detection speed can reach 1500FPS.
- [SPADE](https://github.com/NVlabs/SPADE): Semantic Image Synthesis with Spatially-Adaptive Normalization - [paper](https://nvlabs.github.io/SPADE/)
- [Introducing Google Research Football](https://ai.googleblog.com/2019/06/introducing-google-research-football.html): A Novel Reinforcement Learning Environment
- [Talking AI, Art, and Entangled Realities with HeK Basel’s Director Sabine Himmelsbach](https://medium.com/digital-art-weekly-by-danae-hi/talking-ai-art-and-exhibition-entangled-realities-with-hek-basels-director-sabine-himmelsbach-654b7077c0a0)
- [Many Experts Say We Shouldn’t Worry About Superintelligent AI. They’re Wrong](https://spectrum.ieee.org/computing/software/many-experts-say-we-shouldnt-worry-about-superintelligent-ai-theyre-wrong)
- [Exploring how different framings of the same supervised learning task affect model performance](https://andersource.dev/2020/07/12/supervised-task-framing.html): [face-classification-problem-framing](https://github.com/andersource/face-classification-problem-framing)
- [donkeycar](https://github.com/autorope/donkeycar): Open source hardware and software platform to build a small scale self driving car.
- [ReBeL](https://ai.facebook.com/blog/rebel-a-general-game-playing-ai-bot-that-excels-at-poker-and-more/): A general game-playing AI bot that excels at poker and more.
- [Exploring the world of declarative programming](https://fedoramagazine.org/exploring-the-world-of-declarative-programming/)
- [Jina](https://github.com/jina-ai/jina): Cloud-native neural search framework for any kind of data.
- [The AI Wolf That Preferred Suicide Over Eating Sheep](https://onezero.medium.com/the-ai-wolf-that-preferred-suicide-over-eating-sheep-49edced3c710)
- [Network Protocol Classification with Random Forests](https://www.youtube.com/watch?v=YpzJ4kik8PY)
### Genetic Algorithms
- [ant_sugar](https://github.com/dg92/ant_sugar): Genetic Algorithms, Mutation, Crossover, Mating, Particle Animation, Gaming, Learning, P5JS, Fun Project
- [Introduction to Genetic Algorithms](https://blog.floydhub.com/introduction-to-genetic-algorithms/)
- (pt-br) [A lot of stuff about Genetic Algorithms](https://www.inf.ufpr.br/aurora/disciplinas/topicosia2/aulas/) [plan](https://folivetti.github.io/courses/BioInspirada/2021/plano.pdf)
- [HTML5 Genetic Cars](https://rednuht.org/genetic_cars_2/): The program uses a simple genetic algorithm to evolve random two-wheeled shapes into cars over generations. Loosely based on BoxCar2D, but written from scratch, only using the same physics engine (box2d). seedrandom.js written by David Bau.
### Natural Language Processing
- [Industrial-strength Natural Language Processing (NLP) with Python and Cython](https://github.com/explosion/spaCy/)
- [StanfordNLP](https://stanfordnlp.github.io/stanfordnlp/): StanfordNLP is the combination of the software package used by the Stanford team in the CoNLL 2018 Shared Task on Universal Dependency Parsing, and the group’s official Python interface to the Stanford CoreNLP software.
- [spaCy + StanfordNLP](https://github.com/explosion/spacy-stanfordnlp):💥 Use the latest StanfordNLP research models directly in spaCy.
- [Understanding word vectors](https://gist.github.com/aparrish/2f562e3737544cf29aaf1af30362f469)
- [allennlp](https://github.com/allenai/allennlp): An open-source NLP research library, built on PyTorch.
- [Distributed Translation Infrastructure](https://github.com/ivan-zapreev/Distributed-Translation-Infrastructure): The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
- [Build a quick Summarizer with Python and NLTK](https://dev.to/davidisrawi/build-a-quick-summarizer-with-python-and-nltk)
- [pytext](https://github.com/facebookresearch/PyText): A natural language modeling framework based on PyTorch
- [flair](https://github.com/zalandoresearch/flair): A very simple framework for state-of-the-art Natural Language Processing (NLP)
- [Argdown](https://argdown.org/): A simple syntax for complex argumentation. [argdown repo](https://github.com/christianvoigt/argdown)
- [The State of Transfer Learning in NLP](http://ruder.io/state-of-transfer-learning-in-nlp/): This post expands on the NAACL 2019 tutorial on Transfer Learning in NLP.
- [Install and Use CTRL on Google Compute Engine](https://github.com/minimaxir/ctrl-gce): Set up the CTRL text-generating model on Google Compute Engine with just a few console commands.
- [Attention Mechanism](https://blog.floydhub.com/attention-mechanism/): In this article, I will be covering the main concepts behind Attention, including an implementation of a sequence-to-sequence Attention model, followed by the application of Attention in Transformers and how they can be used for state-of-the-art results.
- [Transformers](https://github.com/huggingface/transformers): State-of-the-art Natural Language Processing for TensorFlow 2.0 and PyTorch.
- [Bilingual Evaluation Understudy (BLEU)](https://leimao.github.io/blog/BLEU-Score/)
- [Language Interpretability Tool (LIT)](https://github.com/pair-code/lit/): Interactively analyze NLP models for model understanding in an extensible and framework agnostic interface.
- [RecipeNLG](https://github.com/Glorf/recipenlg): A Cooking Recipes Dataset for Semi-Structured Text Generation
- [Alphabetical list of part-of-speech tags used in the Penn Treebank Project](https://www.ling.upenn.edu/courses/Fall_2003/ling001/penn_treebank_pos.html)
- [POS-tagger-portuguese-nltk](https://github.com/inoueMashuu/POS-tagger-portuguese-nltk): Conjunto de POS-taggers treinados para classificação gramatical de sentenças em português.
- Python NLTK:
- [A Quick Guide to Text Cleaning Using the nltk Library](https://www.analyticsvidhya.com/blog/2020/11/text-cleaning-nltk-library/)
- [Visualising Frequency Distributions](http://librarycarpentry.org/lc-tdm/09-frequency-distributions/index.html)
- [Examples for Portuguese Processing](http://www.nltk.org/howto/portuguese_en.html)
- [Exploratory Data Analysis of Text Data](https://towardsdatascience.com/nlp-part-3-exploratory-data-analysis-of-text-data-1caa8ab3f79d) by Kamil Mysiak
- [Language Processing and Python](https://www.nltk.org/book/ch01.html)
- [Linguateca](https://www.linguateca.pt/Floresta/)
- [Classificação de Textos em Python](https://pt.linkedin.com/pulse/classifica%C3%A7%C3%A3o-de-textos-em-python-luiz-felipe-araujo-nunes)
- [Portuguese stop words](https://gist.github.com/alopes/5358189)
- [Examples for Portuguese Processing](https://docs.huihoo.com/nltk/0.9.5/guides/portuguese_en.html)
- [WojciechMula/aspell-python: Python wrapper for aspell (C extension and python version)](https://github.com/WojciechMula/aspell-python#getmainwordlist)
- [ToTTo](https://github.com/google-research-datasets/totto): ToTTo is an open-domain English table-to-text dataset with over 120,000 training examples that proposes a controlled generation task: given a Wikipedia table and a set of highlighted table cells, produce a one-sentence description. We hope it can serve as a useful research benchmark for high-precision conditional text generation.
- [LibreTranslate - Free and Open Source Machine Translation API](https://libretranslate.com/)
- [I Write Like](https://iwl.me/): Check which famous writer you write like with this statistical analysis tool, which analyzes your word choice and writing style and compares them with those of the famous writers.
- [Keywords for TextRank summarization algorithm](https://radimrehurek.com/gensim_3.8.3/summarization/keywords.html)
- [Foldable Words](http://bit-player.org/2021/foldable-words)
- [entity-embed](https://github.com/vintasoftware/entity-embed/): Transform entities like companies, products, etc. into vectors to support scalable Record Linkage / Entity Resolution using Approximate Nearest Neighbors.
- [OpenAI’s GPT-3 Can Now Generate The Code For You](https://analyticsindiamag.com/open-ai-gpt-3-code-generator-app-building/)
- [nanoGPT](https://github.com/karpathy/nanoGPT): The simplest, fastest repository for training/finetuning medium-sized GPTs.
- [PromptSource](https://github.com/bigscience-workshop/promptsource)
- [PatrickStar](https://github.com/Tencent/PatrickStar): enables Larger, Faster, Greener Pretrained Models for NLP and democratizes AI for everyone.
#### Dictionaries
- [The DICT](http://www.dict.org/bin/Dict): a lot of dictionaries.
- [Wordlist em Português](https://localdomain.wordpress.com/2007/05/18/wordlist-em-portugues/)
- [Dictionaries for International Ispell](https://www.cs.hmc.edu/~geoff/ispell-dictionaries.html)
- [google-10000-english](https://github.com/first20hours/google-10000-english): This repo contains a list of the 10,000 most common English words in order of frequency, as determined by n-gram frequency analysis of the Google's Trillion Word Corpus.
- [Frequency Word Lists](https://invokeit.wordpress.com/frequency-word-lists/)
- Wiktionary:
- [Brazilian Portuguese wordlist](https://en.wiktionary.org/wiki/Wiktionary:Frequency_lists/BrazilianPortuguese_wordlist)
- [Frequency lists](https://en.wiktionary.org/wiki/Wiktionary:Frequency_lists)
### Machine Learning
- [Theories of Deep Learning (STATS 385)](https://stats385.github.io/readings)
- [Deep Learning Hardware Limbo](http://timdettmers.com/2017/12/21/deep-learning-hardware-limbo/)
- [Deep learning signal classification using rtl-sdr dongle](https://github.com/randaller/cnn-rtlsdr)
- [This is the code](https://github.com/llSourcell/Landing-a-SpaceX-Falcon-Heavy-Rocket) for "Landing a SpaceX Falcon Heavy Rocket" By Siraj Raval on Youtube
- [How I implemented iPhone X’s FaceID using Deep Learning in Python.](https://towardsdatascience.com/how-i-implemented-iphone-xs-faceid-using-deep-learning-in-python-d5dbaa128e1d), [repo](https://github.com/normandipalo/faceID_beta)
- [deepmind](https://deepmind.com/blog/learning-to-generate-images/): Learning to write programs that generate images.
- [DeepMind Research](https://github.com/deepmind/deepmind-research): This repository contains implementations and illustrative code to accompany DeepMind publications.
- [Image-OutPainting](https://github.com/bendangnuksung/Image-OutPainting): Keras Implementation of Painting outside the box
- [Machine Learning for Drummers](http://blog.petersobot.com/machine-learning-for-drummers)
- [Learning Dexterity](https://blog.openai.com/learning-dexterity/)
- [Evolving Floorplans](http://www.joelsimon.net/evo_floorplans.html)
- [PyPDFOCR](https://github.com/virantha/pypdfocr): Python script to do PDF OCR conversion using Tesseract
- [Artwork Personalization at Netflix – Netflix TechBlog – Medium](https://medium.com/netflix-techblog/artwork-personalization-c589f074ad76)
- [How useful was the Netflix Prize challenge for Netflix?](https://www.quora.com/How-useful-was-the-Netflix-Prize-challenge-for-Netflix/answer/Xavier-Amatriain)
- [Google Vizier](https://ai.google/research/pubs/pub46180): A Service for Black-Box Optimization
- [privateml](https://github.com/mortendahl/privateml): Various material around private machine learning, some associated with blog
- [GAN Lab](https://poloclub.github.io/ganlab/): Play with Generated Adversarial Networks (GANs) in your browser! [repo](https://github.com/poloclub/ganlab)
- [MTNT](http://www.cs.cmu.edu/~pmichel1/mtnt/): Machine Translation of Noisy Text. [github](https://github.com/pmichel31415/mtnt)
- [frugally-deep](https://github.com/Dobiasd/frugally-deep): Header-only library for using Keras models in C++.
- [60_Days_RL_Challenge](https://github.com/andri27-ts/60_Days_RL_Challenge): Learn Deep Reinforcement Learning in depth in 60 days
- [Algorithmic Trading with ML & DL](https://gist.github.com/yhilpisch/b41d0e935128a65a611e87bcf3bff665)
- [Python Machine Learning (2nd Ed.) Code Repository](https://github.com/rasbt/python-machine-learning-book-2nd-edition): The "Python Machine Learning (2nd edition)" book code repository and info resource
- [hacking_slot_machines](https://github.com/tensor8/hacking_slot_machines)
- [lip reading](https://github.com/astorfi/lip-reading-deeplearning): Cross Audio-Visual Recognition using 3D Architectures
- [pija](https://github.com/mattaereal/pija): Pornographic Images Jacking Algorithm
- [Create a containerized machine learning model](https://fedoramagazine.org/create-containerized-machine-learning-model/)
- [vergml](https://github.com/vergeml/vergeml).
- [DeOldify](https://github.com/jantic/DeOldify): A Deep Learning based project for colorizing and restoring old images
- [Real-Time Noise Suppression Using Deep Learning](https://devblogs.nvidia.com/nvidia-real-time-noise-suppression-deep-learning/). [Krisp](https://krisp.ai/download.html) app (use noise supression) by [2Hz](https://2hz.ai/index.html) (and how to use the [API](https://blog.2hz.ai/2018/10/01/step-by-step-guide-for-using-2hz-krisp-api/))
- [Automatic Differentiation in Machine Learning: a Survey](http://jmlr.org/papers/volume18/17-468/17-468.pdf)
- [Self-Driving Pi Car](https://github.com/felipessalvatore/self_driving_pi_car): A deep neural network based self-driving car, that combines Lego Mindstorms NXT with the computational power of a Raspberry Pi 3.
- [ergo](https://github.com/evilsocket/ergo): A tool that makes deep learning with Keras easier.
- [reinforcement_learning](https://github.com/r0zetta/reinforcement_learning): Reinforcement learning experiments and demos.
- [octofairy](https://github.com/evilsocket/octofairy): A machine learning based GitHub bot for Issues.
- [A Full Hardware Guide to Deep Learning](http://timdettmers.com/2018/12/16/deep-learning-hardware-guide/)
- [Homemade Machine Learning](https://github.com/trekhleb/homemade-machine-learning): 🤖 Python examples of popular machine learning algorithms with interactive Jupyter demos and math being explained
- [Dive into Deep Learning](http://d2l.ai/): An interactive deep learning book for students, engineers, and researchers.
- [Hacker's guide to Neural Networks](http://karpathy.github.io/neuralnets/)
- [Machine Learning from Scratch](https://github.com/chasinginfinity/ml-from-scratch).
- [March-Madness-ML](https://github.com/adeshpande3/March-Madness-ML): Machine learned bracketology.
- [Real-Time Voice Cloning](https://github.com/CorentinJ/Real-Time-Voice-Cloning): Clone a voice in 5 seconds to generate arbitrary speech in real-time
- [Autocompletion with deep learning](https://tabnine.com/blog/deep): TL;DR: TabNine is an autocompleter that helps you write code faster. We’re adding a deep learning model which significantly improves suggestion quality.
- [awesome-edge-machine-learning](https://github.com/Bisonai/awesome-edge-machine-learning): A curated list of awesome edge machine learning resources, including research papers, inference engines, challenges, books, meetups and others.
- [Run tracking liberates ML teams.](https://dotscience.com/blog/run-tracking/)
- [CARLA](https://carla.org): Open-source simulator for [autonomous driving research](https://github.com/carla-simulator/carla).
- [make-sense](https://github.com/SkalskiP/make-sense): [Free to use online tool for labelling photos](https://makesense.ai).
- [CopyMonkey](https://copymonkey.xyz/) is a handwriting mimic app. [repo](https://github.com/swechhachoudhary/Handwriting-synthesis)
- Autonomous Vehicles:
- [autodrome](https://github.com/vojtamolda/autodrome/): Framework and OpenAI Gym Environment for Autonomous Vehicle Development.
- [AirSim](https://github.com/microsoft/AirSim): Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research.
- [ADBlock Radio](https://www.adblockradio.com/en/): We improve your radio experience. [adblockradio](https://github.com/adblockradio/adblockradio) - An adblocker for live radio streams and podcasts. Machine learning meets Shazam.
- [150 successful machine learning models](https://blog.acolyer.org/2019/10/07/150-successful-machine-learning-models/): 6 lessons learned at Booking.com
- [Machine Learning on Encrypted Data Without Decrypting It](https://juliacomputing.com/blog/2019/11/22/encrypted-machine-learning.html)
- [Deep Multi-Task and Meta Learning](https://cs330.stanford.edu/) (CS 330): stanfor ML classes.
- [InvoiceNet](https://github.com/naiveHobo/InvoiceNet): Deep neural network to extract intelligent information from invoice documents.
- [VoightKampff](https://bitbucket.org/Pirates-of-Silicon-Hills/voightkampff/src/master/): Beating Google ReCaptcha and the funCaptcha using AWS Rekognition.
- [Inside TikTok's killer algorithm](https://www.axios.com/inside-tiktoks-killer-algorithm-52454fb2-6bab-405d-a407-31954ac1cf16.html)
- [Audiovisual Speech Enhancement in YouTube Stories](https://ai.googleblog.com/2020/10/audiovisual-speech-enhancement-in.html)
- [UCI Machine Learning Repository: Data Sets](https://archive.ics.uci.edu/ml/datasets.php)
- [DeepSpeech](https://github.com/mozilla/DeepSpeech): is an open source embedded (offline, on-device) speech-to-text engine which can run in real time on devices ranging from a Raspberry Pi 4 to high power GPU servers.
- [vosk-api](https://github.com/alphacep/vosk-api): Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node.
- [open source speech recognition toolkit](https://cmusphinx.github.io/)
- [Transfer Learning](https://github.com/jindongwang/transferlearning): Everything about Transfer Learning and Domain Adaptation--迁移学习
- [comma10k](https://github.com/commaai/comma10k): 10k crowdsourced images for training segnets.
- K-Means:
- [The Most Comprehensive Guide to K-Means Clustering You’ll Ever Need](https://www.analyticsvidhya.com/blog/2019/08/comprehensive-guide-k-means-clustering/)
- [K-Means Clustering with scikit-learn](https://towardsdatascience.com/k-means-clustering-with-scikit-learn-6b47a369a83c)
- [How to define the optimal number of clusters for KMeans](https://jtemporal.com/kmeans-and-elbow-method/)
- [Process Mining Research Group @ USP](http://www.each.usp.br/processmining/)
- [Mathematics for Machine Learning](https://mml-book.github.io/)
- [Adversarial Image Explanation Through Alibi](https://medium.com/@ODSC/adversarial-image-explanation-through-alibi-326bfe813066)
- [“ai-promised-to-revolutionize-radiology-but-so-far-its-failing”](https://statmodeling.stat.columbia.edu/2021/06/07/ai-promised-to-revolutionize-radiology-but-so-far-its-failing/)
- [Dlib](http://dlib.net/) is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems.
- [CFU Playground](https://github.com/google/CFU-Playground): Want a faster ML processor? Do it yourself! -- A framework for playing with custom opcodes to accelerate TensorFlow Lite for Microcontrollers (TFLM).
- [Grade School Math](https://github.com/openai/grade-school-math)
### Machine Learning Articles
- [Nevergrad](https://code.fb.com/ai-research/nevergrad/): An open source tool for derivative-free optimization. [github](https://github.com/facebookresearch/nevergrad)
- [ML.NET](https://github.com/dotnet/machinelearning): is an open source and cross-platform machine learning framework for .NET.
- [mit-deep-learning](https://github.com/lexfridman/mit-deep-learning): Tutorials, assignments, and competitions for MIT Deep Learning related courses.
- [Prior Convictions: Black-Box Adversarial Attacks with Bandits and Priors](https://arxiv.org/abs/1807.07978)
- [[1808.07531] Sarcasm Analysis using Conversation Context](https://arxiv.org/abs/1808.07531)
- [[1812.04948] A Style-Based Generator Architecture for Generative Adversarial Networks](https://arxiv.org/abs/1812.04948)
- [GAN Dissection: Visualizing and Understanding Generative Adversarial Networks - arxiv vanity](https://www.arxiv-vanity.com/papers/1811.10597/)
- [Super SloMo](https://arxiv.org/abs/1712.00080): High Quality Estimation of Multiple Intermediate Frames for Video Interpolation. [Śuper-SloMo github](https://github.com/avinashpaliwal/Super-SloMo)
- [The Tsetlin Machine](https://arxiv.org/abs/1804.01508): A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic. [github](https://github.com/cair/TsetlinMachine).
- [Graph Neural Networks](https://arxiv.org/abs/1812.08434): A Review of Methods and Applications
- [VAE with a VampPrior](https://github.com/jmtomczak/vae_vampprior): Code for the paper "VAE with a VampPrior", J.M. Tomczak & M. Welling
- [A Differentiable Programming System to Bridge Machine Learning and Scientific Computing](https://arxiv.org/abs/1907.07587) - [github](https://github.com/MikeInnes/zygote-paper)
- [CROKAGE](https://stackoverflow.blog/2019/08/14/crokage-a-new-way-to-search-stack-overflow/): A New Way to Search Stack Overflow. [isel on ufu](http://www.isel.ufu.br:9000/)
- [Overton: A Data System for Monitoring and Improving Machine-Learned Products](https://arxiv.org/abs/1909.05372)
- [Reinforcement learning is supervised learning on optimized data](https://bair.berkeley.edu/blog/2020/10/13/supervised-rl/)
- [Is a Green Screen Really Necessary for Real-Time Human Matting?](https://arxiv.org/pdf/2011.11961.pdf), [repo](https://github.com/ZHKKKe/MODNet)
- [Real-World ADS-B signal recognition based on Radio Frequency Fingerprinting](https://icnp20.cs.ucr.edu/proceedings/aimcom2/Real-World%20ADS-B%20signal%20recognition%20based%20on%20Radio%20Frequency%20Fingerprinting.pdf)
- [Pervasive Label Errors in ML Datasets Destabilize Benchmarks](https://l7.curtisnorthcutt.com/label-errors), paper: [Pervasive Label Errors in Test Sets Destabilize Machine Learning Benchmarks](https://arxiv.org/abs/2103.14749)
- [DeepLabCut](http://www.mackenziemathislab.org/deeplabcut): is an efficient method for 3D markerless pose estimation based on transfer learning with deep neural networks that achieves excellent results (i.e. you can match human labeling accuracy) with minimal training data (typically 50-200 frames). [repo](https://github.com/DeepLabCut/DeepLabCut)
- [DatasetGAN](https://nv-tlabs.github.io/datasetGAN/): Efficient Labeled Data Factory with Minimal Human Effort
- [AffectiveSpotlight](https://www.microsoft.com/en-us/research/publication/affectivespotlight-facilitating-the-communication-of-affective-responses-from-audience-members-during-online-presentations/): Facilitating the Communication of Affective Responses from Audience Members during Online Presentations.
- [An Overview of Deep-Learning-Based Audio-Visual Speech Enhancement and Separation](https://arxiv.org/abs/2008.09586)
- [Advancing mathematics by guiding human intuition with AI](https://www.nature.com/articles/s41586-021-04086-x)
- [CIPS-3D](https://github.com/PeterouZh/CIPS-3D): 3D-aware GANs based on NeRF (arXiv).
- [“Low-Resource” Text Classification: A Parameter-Free Classification Method with Compressors](https://aclanthology.org/2023.findings-acl.426.pdf)
- [NIST Identifies Types of Cyberattacks That Manipulate Behavior of AI Systems](https://www.nist.gov/news-events/news/2024/01/nist-identifies-types-cyberattacks-manipulate-behavior-ai-systems) [doi.org/10.6028/NIST.AI.100-2e2023](https://csrc.nist.gov/pubs/ai/100/2/e2023/final)
### Neural Networks
- [Handwriting Synthesis](https://github.com/sjvasquez/handwriting-synthesis)
- [OpenNMT](https://github.com/opennmt/opennmt): Open-Source Neural Machine Translation
- [Playing Mortal Kombat with TensorFlow.js. Transfer learning and data augmentation](https://blog.mgechev.com/2018/10/20/transfer-learning-tensorflow-js-data-augmentation-mobile-net/)
- [NEST](https://github.com/nest/nest-simulator): NEST is a simulator for spiking neural network models that focuses on the dynamics, size and structure of neural systems rather than on the exact morphology of individual neurons.
- [NALU](https://github.com/Nilabhra/NALU): Neural Arithmetic Logic Units
- [tensorspace](https://github.com/tensorspace-team/tensorspace): Neural network 3D visualization framework, build interactive and intuitive model in browsers, support pre-trained deep learning models from TensorFlow, Keras, TensorFlow.js
- [NEURAL NETWORKS AS ORDINARY DIFFERENTIAL EQUATIONS](https://rkevingibson.github.io/blog/neural-networks-as-ordinary-differential-equations/)
- [sleephow](https://github.com/nardeas/sleephow): Deep neural network for predicting sleep time and quality for any given bedtime.
- [Bbrain.js](https://github.com/BrainJS/brain.js): 🤖 Neural networks in JavaScript
- [Smarter training of neural networks](https://www.csail.mit.edu/news/smarter-training-neural-networks)
- [Random Forest vs Neural Network](https://mljar.com/blog/random-forest-vs-neural-network-classification/)(classification, tabular data) - [github](https://github.com/mljar/mljar-supervised)
- [L2 Regularization and Batch Norm](https://blog.janestreet.com/l2-regularization-and-batch-norm/): In particular, when used together with batch normalization in a convolutional neural net with typical architectures, an L2 objective penalty no longer has its original regularizing effect. Instead it becomes essentially equivalent to an adaptive adjustment of the learning rate!
- [Learn Neural Networks With Go, Not Math](https://www.youtube.com/watch?v=jb-12DOr5y4) by Ellen Körbes (GopherCon Europe 2019)
- [Paddle Fluid](https://www.paddlepaddle.org.cn/) with [Pre-trained and Reproduced Deep Learning Models](https://github.com/PaddlePaddle/models), [ERNIE](https://github.com/PaddlePaddle/ERNIE): An Implementation of ERNIE For Language Understanding (including Pre-training models and Fine-tuning tools).
- [Face Aging using Conditional GANs with Keras implementation](https://iq.opengenus.org/face-aging-cgan-keras/)
- [A 2019 Guide to Speech Synthesis with Deep Learning](https://heartbeat.fritz.ai/a-2019-guide-to-speech-synthesis-with-deep-learning-630afcafb9dd)
- [DeepPrivacy](https://arxiv.org/abs/1909.04538): A Generative Adversarial Network for Face Anonymization
- [Image Deduplicator](https://idealo.github.io/imagededup/): [imagededup](https://github.com/idealo/imagededup) is a python package that simplifies the task of finding exact and near duplicates in an image collection.
- [Making the Birds Fly with AI (or at least Flap)](https://medium.com/@peterfarrell66/making-the-birds-fly-with-ai-or-at-least-flap-87ffd57b95e3), [github repo](https://github.com/hackingmath/Neural-Net)
- [Multimodal Neurons in Artificial Neural Networks](https://openai.com/blog/multimodal-neurons/#attacksinthewild): We’ve discovered neurons in CLIP that respond to the same concept whether presented literally, symbolically, or conceptually.
- [An Interactive Node-Link Visualization of Convolutional Neural Networks](https://www.cs.ryerson.ca/~aharley/vis/conv/) by Adam W. Harley.
- [Convolutional Neural Network for Dummies](https://www.kaggle.com/iamsouravbanerjee/convolutional-neural-network-for-dummies)
- [Neural Networks and Deep Learning](http://neuralnetworksanddeeplearning.com/index.html)
- [DALL·E](https://openai.com/blog/dall-e/): Creating Images from Text.
- [Writing your first Generative Adversarial Network with Keras.](https://towardsdatascience.com/writing-your-first-generative-adversarial-network-with-keras-2d16fd8d4889)
- [GAN by Example using Keras on Tensorflow Backend](https://towardsdatascience.com/gan-by-example-using-keras-on-tensorflow-backend-1a6d515a60d0)
- [Deep Convolutional Generative Adversarial Network](https://www.tensorflow.org/tutorials/generative/dcgan) [jupyter notebook](https://github.com/tensorflow/docs/blob/master/site/en/tutorials/generative/dcgan.ipynb)
- [GANformer](https://github.com/dorarad/gansformer): Generative Adversarial Transformers.
- [GRaNDPapA](https://github.com/joaoperfig/GRaNDPapA): Generator of Rad Names from Decent Paper Acronyms
- [Pupyl](https://github.com/policratus/pupyl) is a really fast image search library which you can index your own (millions of) images and find similar images in milliseconds.
- [Neural Network From Scratch](https://sirupsen.com/napkin/neural-net)
- [It also released a technical report with some truly extraordinary findings about just how dangerous this machine can be.](https://twitter.com/WriteArthur/status/1521987954994192384)
- [Stable Diffusion](https://github.com/CompVis/stable-diffusion): is a latent text-to-image diffusion model. Thanks to a generous compute donation from Stability AI and support from LAION, we were able to train a Latent Diffusion Model on 512x512 images from a subset of the LAION-5B database.
- [Run Stable Diffusion on your M1 Mac’s GPU](https://replicate.com/blog/run-stable-diffusion-on-m1-mac).
- [1 week of Stable Diffusion](https://multimodal.art/news/1-week-of-stable-diffusion)
- [Exploring 12 Million of the 2.3 Billion Images Used to Train Stable Diffusion’s Image Generator](https://waxy.org/2022/08/exploring-12-million-of-the-images-used-to-train-stable-diffusions-image-generator/)
- [VALL-E](https://valle-demo.github.io/): Neural Codec Language Models are Zero-Shot Text to Speech Synthesizers.
- [ OpenLLaMA](https://huggingface.co/openlm-research/open_llama_13b_easylm): An Open Reproduction of LLaMA.
### Computer Vision
- [Computer Vision Workshop](https://github.com/CatalystCode/CVWorkshop)
- [Visual Object Tagging Tool](https://github.com/CatalystCode/CVWorkshop): An electron app for building end to end Object Detection Models from Images and Videos
- [OpenSimpleLidar](https://github.com/iliasam/OpenSimpleLidar): Open Hardware scanning laser rangefinder ([howto](https://hackaday.io/project/20628-open-simple-lidar))
- [Monitoring Road Traffic with Python](http://andrew.carterlunn.co.uk/programming/2017/08/24/monitoring-road-traffic-with-python.html)
- [MUNIT](https://github.com/nvlabs/munit): Multimodal UNsupervised Image-to-image Translation
- [Pythia](https://github.com/facebookresearch/pythia): A software suite for Visual Question Answering.
- OpenCV related links:
- [OpenCV 4.0](https://opencv.org/opencv-4-0-0.html).
- [PyImageSearch](https://www.pyimagesearch.com/)- Be awesome at OpenCV, Python, deep learning, and computer vision. [Tracking multiple objects with OpenCV](https://www.pyimagesearch.com/2018/08/06/tracking-multiple-objects-with-opencv/)
- [Introduction to Computer Vision by Intel](https://software.intel.com/en-us/articles/introduction-to-computer-vision):
- [Video-Analytics-OpenCV](https://github.com/intel-iot-devkit/Video-Analytics-OpenCV): Python video analytics samples with OpenCV*
- [GesturesGAN](https://github.com/Ha0Tang/GestureGAN)
- [Analyze a Soccer Game Using Tensorflow Object Detection and OpenCV](https://opendatascience.com/analyze-a-soccer-game-using-tensorflow-object-detection-and-opencv/) - Open Data Science - Your News Source for AI, Machine Learning & more
- [Image Segmentation Using Color Spaces in OpenCV + Python](https://realpython.com/python-opencv-color-spaces/)
- [OpenCV BGR color palette with trackbars](https://www.geeksforgeeks.org/python-opencv-bgr-color-palette-with-trackbars/)
- [soccer_realtime.ipynb](https://github.com/priya-dwivedi/Deep-Learning/blob/master/soccer_team_prediction/soccer_realtime.ipynb) · priya-dwivedi/Deep-Learning
- [reconhecimento-expressao-facial-debate](https://github.com/estadao/reconhecimento-expressao-facial-debate): Código para a matéria que analisa as expressões faciais dos candidatos à Presidência de 2018 durante o debate realizado na TV Gazeta
- (pt-br)[Simples reconhecimento facial](https://github.com/saulocatharino/reconhecimento_facial)
- [ergo-planes-detector](https://github.com/evilsocket/ergo-planes-detector): An ergo based project that relies on a convolutional neural network to detect airplanes from satellite imagery.
- [VideoPose3D](https://github.com/facebookresearch/VideoPose3D): Efficient 3D human pose estimation in video using 2D keypoint trajectories
- [openpifpaf](https://github.com/vita-epfl/openpifpaf): Implementation of "PifPaf: Composite Fields for Human Pose Estimation" in PyTorch.
- [imagenette](https://github.com/fastai/imagenette): A smaller subset of 10 easily classified classes from Imagenet, and a little more French
- [The Boombox Incident](https://matthewbilyeu.com/blog/2019-03-21/the-boombox-incident)
- [A Mathematical Model Unlocks the Secrets of Vision](https://www.quantamagazine.org/a-mathematical-model-unlocks-the-secrets-of-vision-20190821/)
- [Predicting 3D Human Dynamics from Video](https://deepai.org/publication/predicting-3d-human-dynamics-from-video)
- [opencv-yolo3](https://github.com/hussanhijazi/opencv-yolov3)
- [MobileNetv2-YOLOV3](https://github.com/dog-qiuqiu/MobileNetv2-YOLOV3#500kb%E7%9A%84yolo-face-detection): MobileNetV2-YoloV3-Nano: 0.5BFlops 3MB HUAWEI P40: 6ms/img, YoloFace-500k:0.1Bflops500KB
- [sense](https://github.com/TwentyBN/sense): Enhance your application with the ability to see and interact with humans using any RGB camera.
- [YOLOv7](https://github.com/jinfagang/yolov7): YOLO with Transformers and Instance Segmentation, with TensorRT acceleration!
- [gradslam](https://github.com/gradslam/gradslam): gradslam is an open source differentiable dense SLAM library for PyTorch
- [Facial Features Recognition](https://github.com/arthurfortes/facial-features-recognition): Face Mesh is a face geometry solution that estimates 468 3D face landmarks in real-time even on mobile devices.
- [fiftyone](https://github.com/voxel51/fiftyone): The open-source tool for building high-quality datasets and computer vision models
- [Image Stacks and iPhone Racks - Building an Internet Scale Meme Search Engine](https://findthatmeme.com/blog/2023/01/08/image-stacks-and-iphone-racks-building-an-internet-scale-meme-search-engine-Qzrz7V6T.html)
### Python DL
*Frameworks for Neural Networks and Deep Learning. See: [awesome-deep-learning](https://github.com/ChristosChristofidis/awesome-deep-learning).*
- [Caffe](https://github.com/BVLC/caffe) - A fast open framework for deep learning..
- [Keras](https://github.com/fchollet/keras) - A high-level neural networks library and capable of running on top of either TensorFlow or Theano.
- [MXNet](https://github.com/dmlc/mxnet) - A deep learning framework designed for both efficiency and flexibility.
- [Neupy](http://neupy.com/pages/home.html) - Running and testing different Artificial Neural Networks algorithms.
- [Serpent.AI](https://github.com/SerpentAI/SerpentAI) - Game agent framework. Use any video game as a deep learning sandbox.
- [Theano](https://github.com/Theano/Theano) - A library for fast numerical computation.
- [Approximate Models](https://github.com/LaRiffle/approximate-models): Python Library for Function Approximation in Machine Learning.
#### PyTorch
- [Pytorch](http://pytorch.org/) - Tensors and Dynamic neural networks in Python with strong GPU acceleration.
- [PyTorch](https://github.com/pytorch/pytorch): Tensors and Dynamic neural networks in Python with strong GPU acceleration a ([tour](http://blog.christianperone.com/2018/03/pytorch-internal-architecture-tour/)):
- [colorization-pytorch](https://github.com/richzhang/colorization-pytorch): PyTorch reimplementation of Interactive Deep Colorization
- [GANDissect](https://github.com/CSAILVision/GANDissect): Pytorch-based tools for visualizing and understanding the neurons of a GAN. [Site](https://gandissect.csail.mit.edu/)
- [Code snippets created for the PyTorch discussion board](https://github.com/ptrblck/pytorch_misc)
- [PyVacy](https://github.com/ChrisWaites/pyvacy): Privacy Algorithms for PyTorch
- [tinygrad](https://github.com/geohot/tinygrad): You like pytorch? You like [micrograd](https://github.com/karpathy/micrograd)? You love tinygrad! ❤️
- [vid2vid](https://github.com/NVIDIA/vid2vid): Pytorch implementation of our method for high-resolution (e.g. 2048x1024) photorealistic video-to-video translation.
- [pytorch-kaldi](https://github.com/mravanelli/pytorch-kaldi) is a project for developing state-of-the-art DNN/RNN hybrid speech recognition systems. The DNN part is managed by pytorch, while feature extraction, label computation, and decoding are performed with the kaldi toolkit.
- [nnAudio](https://github.com/KinWaiCheuk/nnAudio): Audio processing by using pytorch 1D convolution network
- [Alias-Free Generative Adversarial Networks (StyleGAN3)](https://github.com/NVlabs/stylegan3): Official PyTorch implementation of StyleGAN3.
- [solo-learn](https://github.com/vturrisi/solo-learn): a library of self-supervised methods for visual representation learning powered by Pytorch Lightning.
- [Modeling uncertainty with PyTorch](https://romainstrock.com/blog/modeling-uncertainty-with-pytorch.html): Neural network parametrization of probability distributions.
- [Deep-reinforcement-learning-with-pytorch](https://github.com/sweetice/Deep-reinforcement-learning-with-pytorch): PyTorch implementation of DQN, AC, ACER, A2C, A3C, PG, DDPG, TRPO, PPO, SAC, TD3 and ....
- [BlueFog](https://github.com/Bluefog-Lib/bluefog): Distributed and decentralized training framework for PyTorch over graph.
#### Tensorflow
- [TensorFlow](https://github.com/tensorflow/tensorflow) - The most popular Deep Learning framework created by Google.
- [Turn TensorFlow functions into mathematical notations and diagrams](http://blog.varunajayasiri.com/ml/tf_for_beginners.html)
- [Notes on installing CUDA, CuDNN and Tensorflow on Manjaro](https://leblancfg.com/installing-cuda-cudnn-tensorflow-nvidia-gtx960.html)
- [TensorFlow-Course](https://github.com/open-source-for-science/TensorFlow-Course): Simple and ready-to-use tutorials for TensorFlow
- [BERT](https://github.com/google-research/bert): TensorFlow code and pre-trained models for BERT
- [CleverHans](https://github.com/tensorflow/cleverhans): An adversarial example library for constructing attacks, building defenses, and benchmarking both
- [tensorFlow Privacy](https://github.com/tensorflow/privacy): Library for training machine learning models with privacy for training data
- [Ludwig](https://github.com/uber/ludwig): [is a toolbox built](https://uber.github.io/ludwig/) on top of TensorFlow that allows to train and test deep learning models without the need to write code.
- [TensorFlow is dead, long live TensorFlow!](https://hackernoon.com/tensorflow-is-dead-long-live-tensorflow-49d3e975cf04): If you’re an AI enthusiast and you didn’t see the big news this month, you might have just snoozed through an off-the-charts earthquake. Everything is about to change!
- [TF Encrypted](https://tf-encrypted.io/) is a framework for encrypted deep learning in TensorFlow. It looks and feels like TensorFlow, taking advantage of the ease-of-use of the Keras API while [enabling training and prediction over encrypted data](https://github.com/tf-encrypted/tf-encrypted).
- [Machine Learning Notebooks](https://github.com/ageron/handson-ml2): A series of Jupyter notebooks that walk you through the fundamentals of Machine Learning and Deep Learning in Python using Scikit-Learn, Keras and TensorFlow 2.
- [Machine Learning and the Browser](https://academy.infinite.red/courses/beginning-machine-learning-with-tensorflow-js/lectures/11125772)
- [nonsemantic-speech-benchmark/frill](https://tfhub.dev/google/nonsemantic-speech-benchmark/frill/1): FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.
- [nonsemantic-speech-benchmark/frill-nofrontend](https://tfhub.dev/google/nonsemantic-speech-benchmark/frill-nofrontend/1): FRILL is a non-semantic speech embedding model presented in "FRILL: A Non-Semantic Speech Embedding for Mobile Devices". It is fast enough to run in real-time on a mobile device and exhibits minimal performance degradation on a benchmark of non-semantic speech tasks.