Search Results for "ats2-0.3.12"
Sort By:
Showing 5 open source projects for "ats2-0.3.12"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
ats2-lang
ATS2: Unleashing the potentials of types and templates
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition... -
2
ats2libraries
Libraries and tools for use with ATS2/Postiats
Libraries and tools for use with ATS2/Postiats ************************************************* NOTE: SEE MY ‘chemoelectric’ PROJECT FOR MORE PRACTICAL ALTERNATIVES, SUCH AS ats2-xprelude. ************************************************* Repositories: dsats2-* = data structures for ATS2 mats2-* = mathematics for ATS2 ats2-* = tools and code not otherwise categorized This project formerly resided on BitBucket. -
3
ats2-lang-contrib
External Contributions to the ATS2 PL System
This project primarily consists of external contributions made to the ATS2 programming language system in the forms of library packages, tutorials, examples, and all sorts of documentation, etc. -
4
ATS-first
Unleashing the potentials of types and templates
ATS is a programming language equipped with a highly expressive type system rooted in the framework Applied Type System to unify implementation with formal specification. In ATS, a variety of programming paradigms are supported in a typeful manner, including functional programming, imperative programming, object-oriented programming, template-based programming, modular programming, etc. ATS has moved on to become ATS2, which can be found at http://ats-lang.org. What is stored here is now... -
Recruit and Manage your WorkforceEvolia is a web and mobile platform that connects enterprises with 1000’s of local shift workers and offers free workforce scheduling and time and attendance solutions. Is your business on Evolia?
-
5
simpser
A set of examples and tests when developing.
Набор примеров и тестов при разработке игрушки. Подробнее: https://docs.google.com/document/d/1XBvFzA5uDgKpED_kcuIzWQNeu7Cccbo5Sg2gNfiXiLM/edit?usp=sharing Таблицы: https://docs.google.com/spreadsheets/d/1PEyYP2MFSLEhppfQTsuvJhGZ8RnXBMZ0kbEUDy6ZkXg/edit?usp=sharing ZenGL: http://zengl.org/index.html Форк ZenGL на основе 0.3.12: -b 0.3.x https://github.com/kitashow/zengl.git avk-1: библиотеки объектов simpser: приложение
- Previous
- You're on page 1
- Next