Search Results for "ats2-0.3.12"
Sort By:
Showing 5 open source projects for "ats2-0.3.12"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
ats2-lang
ATS2: Unleashing the potentials of types and templates
...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, the template system makes ATS2 highly suitable for supporting numerical computation. -
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
...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 referred to as ATS0-Proto. It is mostly kept as a reference so as to provide some historic details on the development of ATS. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
simpser
A set of examples and tests when developing.
...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
