Showing 8 open source projects for "framework-arduinoststm32"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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 security. Auth0 now, thank yourself later.
    Try free now
  • Keep company data safe with Chrome Enterprise Icon
    Keep company data safe with Chrome Enterprise

    Protect your business with AI policies and data loss prevention in the browser

    Make AI work your way with Chrome Enterprise. Block unapproved sites and set custom data controls that align with your company's policies.
    Download Chrome
  • 1
    TypeSpec

    TypeSpec

    Language for defining cloud service APIs and shapes

    ...Using TypeSpec, you can create reusable patterns for all aspects of an API and package those reusable patterns into libraries. These patterns establish "guardrails" for API designers and make it easier to follow best practices than to deviate from them. TypeSpec also has a rich linter framework with the ability to flag anti-patterns as well as an emitter framework that lets you control the output to ensure it follows the patterns you want.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    YueScript

    YueScript

    A Moonscript dialect compiles to Lua

    ...It is derived from Moonscript language 0.5.0 and continuously adopts new features to be more up-to-date. Moonscript is a language that compiles Lua. Since the original Moonscript has been used to write web framework lapis and run a few business websites like itch.io and streak.club with some large code bases. The original language is getting too hard to adopt new features for those that may break the stability of existing applications. So Yuescript is a new code base for pushing the language to go forward and being a playground to try introducing new language syntax or programming paradigms to make Moonscript language more expressive and productive.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    SpinalHDL

    SpinalHDL

    Scala based HDL

    SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Prompt Declaration Language

    Prompt Declaration Language

    Prompt Declaration Language is a declarative prompt programming lang

    ...The purpose of the Prompt Declaration Language (PDL) is to allow developers to specify the structure of prompts and to enforce it, while providing a unified programming framework for composing LLMs with rule-based systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Total Network Visibility for Network Engineers and IT Managers Icon
    Total Network Visibility for Network Engineers and IT Managers

    Network monitoring and troubleshooting is hard. TotalView makes it easy.

    This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
    Learn More
  • 5
    Objeck

    Objeck

    Simple ⇒ Object-Oriented ⇒ Functional

    Objeck is an object-oriented programming language with functional features. Objeck emphasizes, expression, simplicity, portability, and scalability. The programming environment consists of a compiler, virtual machine, and command line debugger with IDE plugins.
    Leader badge
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    Ravi Programming Language

    Ravi Programming Language

    Ravi is a dialect of Lua, featuring limited optional static typing

    Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and MIR-based JIT compiler. Ravi is a derivative/dialect of Lua with limited optional static typing and JIT/AOT compilers. The name Ravi comes from the Sanskrit word for the Sun. Lua is perfect as a small embeddable dynamic language so why a derivative? Ravi extends Lua with static typing for greater performance under JIT compilation. However, static typing is optional and therefore Lua 5.3 programs are...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7

    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, the template system makes ATS2 highly suitable for supporting numerical computation.
    Leader badge
    Downloads: 441 This Week
    Last Update:
    See Project
  • 8
    Eta

    Eta

    The Eta Programming Language, a dialect of Haskell on the JVM

    ...Eta offers a wide range of strategies for handling concurrency including Software Transaction Memory (STM), MVars, and Fibers. Using the powerful and type-safe Servant web framework, we define our API as a type and the handler types for each endpoint are automatically generated and conversions happen automatically.
    Downloads: 1 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next