3. CheckedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, a…
4. BookCrypto 101, the introductory book on cryptography.
6. StellariumStellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope.
7. NrlpapersMust-read papers on network representation learning (NRL) / network embedding (NE)
8. HeidisqlA lightweight client for managing MariaDB, MySQL, SQL Server, PostgreSQL and SQLite, written in Delphi
9. PfffTools for code analysis, visualizations, or style-preserving source transformation.
10. CgalThe public CGAL repository, see the README below
11. BookdownAuthoring Books and Technical Documents with R Markdown
13. NmslibNon-Metric Space Library (NMSLIB): An efficient similarity search library and a toolkit for evaluation of k-NN methods for generic non-metric spaces.
14. VcmiOpen-source engine for Heroes of Might and Magic III
15. HakyllA static website compiler library in Haskell
16. Mathmodel研究生数学建模,本科生数学建模、数学建模竞赛优秀论文,数学建模算法,LaTeX论文模板,算法思维导图,参考书籍,Matlab软件教程,PPT
17. SpotbugsSpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
18. Awesome Cv📄 Awesome CV is LaTeX template for your outstanding job application
22. TectonicA modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
26. Jupyter BookCreate beautiful, publication-quality books and documents from computational content.
27. Probability cheatsheetA comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability.
28. UcasthesisLaTeX Thesis Template for the University of Chinese Academy of Sciences
29. JabrefGraphical Java application for managing BibTeX and biblatex (.bib) databases
32. HyperasKeras + Hyperopt: A very simple wrapper for convenient hyperparameter optimization
35. KnitrA general-purpose tool for dynamic report generation in R
39. Resumake.io📝 A website for automatically generating elegant LaTeX resumes.
40. Hackclub🏫 Hack Club is a nonprofit network of computer science clubs where members learn to code through tinkering and building projects
41. MathicsThis repository is for archival. Please see https://github.com/Mathics3/mathics-core
42. KalibrThe Kalibr visual-inertial calibration toolbox
43. Sjtuthesis上海交通大学 XeLaTeX 学位论文及课程论文模板 | Shanghai Jiao Tong University XeLaTeX Thesis Template
45. Mt Reading ListA machine translation reading list maintained by Tsinghua Natural Language Processing Group
47. GeanyGeany is a small and lightweight integrated development environment.
It was developed to provide a small and fast IDE, which has only a
few dependencies from other packages. Another goal was to be as independent
as possible from a special Desktop Environment like KDE or GNOME. So it
is using only the GTK+ toolkit and therefore you need only the
GTK+ runtime libraries to run Geany.
48. Ixy LanguagesA high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python