Stars
2
Forks
0
Language
Python
Last Updated
Jan 28, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Python | 5 | A python library for Signal Temporal Logic | Feb 06, 2023 | |
Julia | 2 | Archived in favor of https://github.com/gstavrinos/ROS.jl | Jan 28, 2023 | |
Julia | 2 | Archived in favor of https://github.com/gstavrinos/ROS.jl | Jan 28, 2023 | |
None | 15 | Archived in favor of https://github.com/magento/async-import | May 29, 2019 | |
Python | 14 | A python library for control from Signal Temporal Logic (STL) specifications | Mar 25, 2023 | |
Go | 8 | Archived in favor of https://github.com/wgebis/terraform-provider-mailgun | Oct 27, 2020 | |
Clojure | 2 | clojure.data.json fork, archived in favor of https://github.com/leancloud/leancloud.data.json | Jan 28, 2023 | |
C++ | 8 | Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks | Apr 25, 2023 | |
Emacs Lisp | 4 | [ARCHIVED] This repository is archived in favor of https://github.com/zephir-lang/zephir-mode | Jan 28, 2023 | |
Swift | 42 | Corvus has been archived in favor of https://github.com/Apodini/Apodini . | Jun 29, 2022 | |
HTML | 2 | Signal temporal logic (STL) formulas and robustness in Julia | Mar 24, 2022 | |
Objective-C | 3 | 🚨 THIS REPOSITORY HAS BEEN ARCHIVED IN FAVOR OF https://github.com/Blackjacx/Quickie 🚨 | Jul 14, 2020 | |
C++ | 23 | A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics. Has … | Apr 20, 2023 | |
Python | 13 | Online Signal Temporal Logic (STL) Monte-Carlo Tree Search for Guided Imitation Learning | Apr 29, 2023 | |
Go | 188 | 🎙 A collection of awesome engineering podcasts! ARCHIVED in favor of https://github.com/rShetty/awesome-podcasts | Aug 12, 2022 | |
C# | 272 | [Archived] Middleware for routing requests to application logic. Project moved to https://github.com/aspnet/AspNetCore | Jul 24, 2022 | |
Python | 28 | Project archived in favor of ejdb2. EJDB Python binding | Jan 28, 2023 | |
None | 2 | Resources for Temporal Logic | Dec 18, 2023 | |
Go | 10 | 🎥 A list of awesome engineering streams! ARCHIVED in favor of https://github.com/bnb/awesome-developer-streams | Feb 21, 2021 | |
Go | 3 | Obsoleted in favor of https://github.com/bradfitz/gosize | Sep 06, 2022 | |
JavaScript | 6 | deprecated in favor of https://github.com/tungv/heq | Jul 21, 2018 | |
JavaScript | 3 | deprecated in favor of https://github.com/brave/pdf.js | Mar 10, 2019 | |
JavaScript | 26 | DEPRECATED in favor of https://github.com/google/oatts | Aug 31, 2021 | |
PHP | 54 | DEPRECATED in favor of https://github.com/LaravelCollective/annotations | May 18, 2022 | |
Clojure | 1324 | Deprecated in favor of https://github.com/facebook/duckling | Aug 22, 2022 | |
JavaScript | 2 | deprecated in favor of https://github.com/brentyi/stl_web_viewer2 | Sep 04, 2020 | |
Julia | 12 | Deprecated in favor of https://github.com/PhilipVinc/TensorBoardLogger.jl/ | Nov 27, 2022 | |
C++ | 4 | Deprecated in favor of https://github.com/jeroen/av | Mar 18, 2023 | |
Twig | 2 | Deprecated in favor of https://github.com/uiowa/uids. | Nov 16, 2020 | |
Ruby | 220 | Deprecated in favor of https://github.com/papertrail/remote_syslog2 | Apr 29, 2023 | |
Python | 2 | Grammars for temporal logic formalisms. | Jul 10, 2022 | |
Vim script | 39 | Archived. Current: https://github.com/matijs/dotfiles | Mar 13, 2023 | |
Python | 10 | The Arabic NLP Python Library (Archived in favor of Matn library) | Jan 28, 2023 | |
Scala | 3 | Samples of https://github.com/vitaliihonta/zio-temporal | Jul 04, 2023 | |
JavaScript | 12 | This package has been deprecated in favor of "TwicPics Components" 👉 https://github.com/TwicPics/components | Jan 28, 2023 | |
JavaScript | 13 | This package has been deprecated in favor of "TwicPics Components" 👉 https://github.com/TwicPics/components | Jan 28, 2023 | |
Vue | 13 | This package has been deprecated in favor of "TwicPics Components" 👉 https://github.com/TwicPics/components | Jan 28, 2023 | |
C++ | 4 | :skull: Deprecated in favor of https://github.com/personalrobotics/boost_numpy_eigen | Jan 28, 2023 | |
Python | 2 | Deprecated in favor of https://github.com/dimadk24/orders-manager | Mar 09, 2023 | |
TypeScript | 2 | Deprecated in favor of https://github.com/dimadk24/english-fight | Mar 09, 2023 | |
None | 2 | Deprecated in favor of https://github.com/itchyny/homebrew-tap | Mar 20, 2019 | |
Rust | 2 | DEPRECATED in favor of https://github.com/shepmaster/sxd-xpath | Apr 25, 2023 | |
JavaScript | 6 | [DEPRECATED] Deprecated in favor of https://github.com/jevko/jevko.js | Dec 16, 2022 | |
PHP | 76 | CakePHP2: Deprecated in favor of https://github.com/FriendsOfCake/crud | Oct 21, 2021 | |
C++ | 2 | ABANDONED in favor of https://github.com/yetone/openai-translator | Mar 26, 2023 | |
None | 2 | DEPRECATED IN FAVOR OF https://github.com/psi-plus/qconf | Nov 08, 2023 | |
Julia | 120 | [DEPRECATED in favor of https://github.com/JuliaWeb/HTTP.jl] HTTP for Julians | Jul 22, 2022 | |
Smarty | 4 | ARCHIVED: merged to https://github.com/wodby/varnish | Aug 08, 2018 | |
Smarty | 11 | ARCHIVED: merged to https://github.com/wodby/varnish | Feb 15, 2020 | |
JavaScript | 3 | ARCHIVED - moved to https://github.com/manifoldfinance/docs | Jan 03, 2022 |