Search Results for "vs code studio"
Sort By:
Showing 11 open source projects for "vs code studio"
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.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interface which can assist the programmer in writing the program. ... -
2
OCaml
The core OCaml system: compilers, runtime system, base libraries
...OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. OCaml has a rich and dynamic community and best-in-class tooling. -
3
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
4
Luau
Fast, small, safe, gradually typed embeddable scripting language
...The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a few caveats. Luau is used by Roblox game developers to write game code, as well as by Roblox engineers to implement large parts of the user-facing application code as well as portions of the editor (Roblox Studio) as plugins. Roblox chose to open-source Luau to foster collaboration within the Roblox community as well as to allow other companies and communities to benefit from the ongoing language and runtime innovation. ... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
Tidal
Pattern language
Tidal Cycles (or just Tidal for short) is software for making patterns with code, whether live coding music at algoraves or composing in the studio. It includes a simple and flexible notation for rhythmic sequences and an extensive library of patterning functions for combining and transforming them. This allows you to quickly create complex patterns from simple ingredients. By default, sound is made with the featureful SuperDirt synth/sampler, but you can control other synths using Open Sound Control (OSC) or MIDI. ... -
6
vsc-ascoos-build-number-display
Easily monitor the current build number of your VSCode workspace
The Ascoos Build Number Display extension allows you to easily monitor the current build number of your workspace in the status bar of Visual Studio Code. -
7
vsc-ascoos-update-build
VSCode Extension: Automatically updates build number and date on save
- Automatically updates @build and @updated tags in your PHP files. - Saves the build information in builds.json located in the .versions folder. - Creates a backup of the saved file in the .repos folder with the updated build number and date. - Allows setting an initial build number via configuration. - Automatically creates and updates .vscode/settings.json to exclude the .versions and .repos folders from the file explorer. -
8
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. -
9
Vale
Compiler for the Vale programming language
Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the... -
8 Monitoring Tools in One APM. Install in 5 Minutes.AppSignal works out of the box for Ruby, Elixir, Node.js, Python, and more. 30-day free trial, no credit card required.
-
10
Kotlin
The Kotlin programming language
It is an open-source, statically typed programming language supported and developed by JetBrains and open-source contributors. Support for multiplatform programming is one of Kotlin’s key benefits. It reduces time spent writing and maintaining the same code for different platforms while retaining the flexibility and benefits of native programming. Kotlin plugin is intended to work with several recent versions of IntelliJ IDEA and Android Studio. Each platform is allowed to have a different set of features and might provide a slightly different API. Instead of using several parallel Git branches, the project stores everything in a single branch, but files may have counterparts with version extensions (*.as32, *.172, *.181). ... -
11
RaptorJIT
A dynamic language for system programming (LuaJIT fork)
RaptorJIT is a Lua implementation suitable for high-performance low-level system programming. If you want to use a simple dynamic language to write a network stack; a hypervisor; a unikernel; a database; etc, then you have come to the right place.
- Previous
- You're on page 1
- Next
