elsoroka's Stars
JuliaPy/PythonCall.jl
Python and Julia in harmony.
ahumenberger/Z3.jl
Julia interface to Z3
jakobjpeters/PAndQ.jl
A computer algebra system for propositional logic
sisl/sisl-deadlines
:alarm_clock: SISL conference deadline countdowns
hdavid16/DisjunctiveProgramming.jl
A JuMP extension for Generalized Disjunctive Programming
grasph/wrapit
Automatization of C++--Julia wrapper generation
fzi-forschungszentrum-informatik/Lanelet2
Map handling framework for automated driving
pysmt/pysmt
pySMT: A library for SMT formulae manipulation and solving
aditya-sengupta/SudokuHuman.jl
Solving Sudoku in a human-understandable way!
ddsmt/ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
jump-dev/Convex.jl
A Julia package for disciplined convex programming
sisl/AutomotiveSimulator.jl
Package for automotive simulation in julia
StanfordASL/stlcg
uoip/g2opy
Python binding of SLAM graph optimization framework g2o
StanfordASL/asl_turtlebot
JuliaLinearAlgebra/LowRankApprox.jl
Fast low-rank matrix approximation in Julia
sisl/pygments-julia
Pygments lexer for Julia
sisl/pygments-style-algforopt
Pygments style used in the textbook Algorithms for Optimization
tanaikech/taking-advantage-of-Web-Apps-with-google-apps-script
This is a report to take advantage of Web Apps with Google Apps Script (GAS).