AshkanM96's Stars
fast-algos/graphs-matrices-optimization
Lecture notes for CSC2421
sotte/pytorch_tutorial
PyTorch Tutorial (1.7)
spotify/chartify
Python library that makes it easy for data scientists to create charts.
trimstray/the-book-of-secret-knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
jlevy/the-art-of-command-line
Master the command line, in one page
UnickSoft/graphonline
This is source code of graphonline service. Graphonline helps visualize graph and applies a lot of algorithms.
antlr/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
antlr/antlr4-cpp
C++ target for ANTLR 4, including templates and runtime
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
izuzak/noam
JavaScript library for working with automata and grammars for regular and context-free languages
google/guava
Google core libraries for Java
jab/bidict
The bidirectional mapping library for Python.
satwikkansal/wtfpython
What the f*ck Python? 😱
aantron/better-enums
C++ compile-time enum to string, iteration, in a single header file
Dobiasd/undictify
Python library providing type-checked function calls at runtime
Dobiasd/FunctionalPlus
Functional Programming Library for C++. Write concise and readable C++ code.
RuntimeCompiledCPlusPlus/RuntimeCompiledCPlusPlus
Change C++ code at runtime
boostorg/ublas
Boost.uBlas
pthom/cleantype
Readable and consistent C++ type introspection - Compiler Decipherer
joboccara/NamedType
Implementation of strong types in C++
foonathan/type_safe
Zero overhead utilities for preventing bugs at compile time
ssbl/concurrent-deque
Lock-free concurrent work stealing deque in C++
TartanLlama/optional
C++11/14/17 std::optional with functional-style extensions and reference support
tcbrindle/NanoRange
Range-based goodness for C++17
google/mathfu
C++ math library developed primarily for games focused on simplicity and efficiency.
coin-or/Gravity
Mathematical Modeling for Optimization and Machine Learning
coin-or/SHOT
A solver for mixed-integer nonlinear optimization problems
coin-or/MibS
A solver for mixed integer bilevel programs