Checked 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…
Crypto 101, the introductory book on cryptography.
Stellarium 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.
Must-read papers on network representation learning (NRL) / network embedding (NE)
A lightweight client for managing MariaDB, MySQL, SQL Server, PostgreSQL and SQLite, written in Delphi
Tools for code analysis, visualizations, or style-preserving source transformation.
The public CGAL repository, see the README below
Authoring Books and Technical Documents with R Markdown
Non-Metric Space Library (NMSLIB): An efficient similarity search library and a toolkit for evaluation of k-NN methods for generic non-metric spaces.
Open-source engine for Heroes of Might and Magic III
A static website compiler library in Haskell
SpotBugs 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
A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
26. Jupyter Book
Create beautiful, publication-quality books and documents from computational content.
27. Probability cheatsheet
A comprehensive 10-page probability cheatsheet that covers a semester's worth of introduction to probability.
LaTeX Thesis Template for the University of Chinese Academy of Sciences
Graphical Java application for managing BibTeX and biblatex (.bib) databases
Keras + Hyperopt: A very simple wrapper for convenient hyperparameter optimization
A general-purpose tool for dynamic report generation in R
📝 A website for automatically generating elegant LaTeX resumes.
🏫 Hack Club is a nonprofit network of computer science clubs where members learn to code through tinkering and building projects
This repository is for archival. Please see https://github.com/Mathics3/mathics-core
The Kalibr visual-inertial calibration toolbox
上海交通大学 XeLaTeX 学位论文及课程论文模板 | Shanghai Jiao Tong University XeLaTeX Thesis Template
45. Mt Reading List
A machine translation reading list maintained by Tsinghua Natural Language Processing Group
Geany 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 Languages