Search Results for "void-linux" - Page 6
Sort By:
Showing 223 open source projects for "void-linux"
View related business solutions-
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.
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
1
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
2
Evaluate
The homemade professional compiled programming language
A homemade professional compiled programming language. It compiles to NASM and can cross-compile, though it's cross-compilation capabilities haven't been verified. -
3
CSharpLang
The official repo for the design of the C# programming language
This is the official repository for the design and evolution of the C# programming language. It's where language features are proposed, discussed, designed, and specified. It contains feature proposals, notes from language design meetings, and the evolving specification. Language Design Meetings (LDMs) are held by the LDT and occasional invited guests, and are documented in Design Meeting Notes in the meetings folder, organized in folders by year. The lifetime of a design meeting note is... -
4
Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
-
Our Free Plans just got better! | Auth0You 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.
-
5
newRPL
The classic RPL programming language reimplemented and reimagined.
This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future. -
6
Fennel
Lua Lisp Language
Fennel is a programming language that brings together the speed, simplicity and reach of Lua with the flexibility of a lisp syntax and macro system. Full Lua compatibility: Easily call any Lua function or library from Fennel and vice-versa. Zero overhead: Compiled code should be just as efficient as hand-written Lua. Compile-time macros: Ship compiled code with no runtime dependency on Fennel. Embeddable: Fennel is a one-file library as well as an executable. Embed it in other programs to... -
7
Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
-
8
Curv
A language for making art using mathematics
Curv is a programming language for creating art using mathematics. It's a 2D and 3D geometric modelling tool that supports full colour, animation and 3D printing. Curv is a simple, powerful, dynamically typed, pure functional programming language. Curv is easy to use for beginners. It has a standard library of predefined geometric shapes, plus operators for transforming and combining shapes. These can be plugged together like Lego to make 2D and 3D models. Coloured shapes are represented... -
9
quire-lang
A programming language for genetic data
quire is a scripting language for performing calculations on information from genetic experiments. Although quire is capable of performing arbitrary calculations, it is really a domain-specific language driven by convenience in working in the problem domain over speed or memory usage. quire has a facility to add in binary modules to perform more intensive calculations. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
10
MANOOL
Programming language with expressive power and a simple implementation
MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,... -
11
Kookaburra
Cross-Platform, Object-Oriented Programming language. With Kookaburra
Kookaburra is a simple programming language. With Kookaburra you can choose between the powerful CLI (Command Line Interface), or start coding with its' intuitive syntax. The syntax is simple and efficient. Create apps/games and more that are fine-tuned to perfection. Kookaburra is completely free to use, using only local files and no data/telemetry collection. Our aim is to power creativity and inspire young developers. That's why we care about privacy and safety. We love hearing feedback... -
12
ark
The esoteric programming language that is *somewhat* useful.
-
13
PseudoD
An interpreted Programming Language
PseudoD is an interpreted programming language written in C++ oriented to spanish programmers. PseudoD es un lenguaje de programación interpretado, escrito en C++ y orientado al lenguaje español. Cualquier duda o pregunta se puede publicar en los foros de discusión. -
14
Wren
Wren is a small, fast, class-based concurrent scripting language
Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax. The VM implementation is under 4,000 semicolons. You can skim the whole thing in an afternoon. It's small, but not dense. It is readable and lovingly commented. A fast single-pass compiler to tight bytecode and a compact object representation help Wren compete with other dynamic languages. There are lots of scripting languages out there, but many have unusual or non-existent object... -
15
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... -
16
dats
A programming language used for music composition.
-
17
Dinrus
D in Russian
Dinrus is a shortcut for 'D in Russian'. It is a sublanguage of D programming language for Russian speaking users. It is fully compatible with D1, but has its own runtime, garbage collection, and other modules. -
18
SPL Compiler
A low-level system programming language with high-level syntax
A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as... -
19
Mega Project List
List of practical projects that anyone can solve in any prog language
Mega Project List by Karan Goel is a massive list of practical programming project ideas that anyone can solve in any programming language, organized into logical categories (Numbers, Classic Algorithms, Data Structures, Text, Networking, Web, Files, Graphics & Multimedia, Security, etc.). The concept is simple but powerful: instead of just memorizing algorithms, you pick a project (for example “Binary to Decimal and Back Converter”), implement it in your favorite language, and gradually... -
20
Ubik Code IDE II
New programming language simple, free, secure, open-source.
The Ubik Code IDE is used to debug and edit programs in Ubik Code. The Ubik Code is a powerful object-oriented programming language. Examples of programs are available in the "Ubik Samples" folder. To learn programming in Ubik Code. Documentation : http://ubikdoc.tk/ More Informations : http://ubik.tk/ http://ubikcodeide.cf/ Open-Source: https://github.com/Alan-Kubiak-Zero-One/The-Ubik-Code -
21
gluon
A static, type inferred and embeddable language written in Rust
Gluon is a static, type inferred and embeddable language written in Rust. Gluon is a small, statically-typed, functional programming language designed for application embedding. Static typing makes it easier to write safe and efficient interfaces between gluon and the host application. Type inference ensures that types rarely have to be written explicitly giving all the benefits of static types with none of the typing. Marshalling values to and from gluon requires next to no boilerplate,... -
22
Accelerate
Embedded language for high-performance array computations
Data.Array.Accelerate defines an embedded language of array computations for high-performance computing in Haskell. Computations on multi-dimensional, regular arrays are expressed in the form of parameterized collective operations (such as maps, reductions, and permutations). These computations are online-compiled and executed on a range of architectures. Accelerate is a free, general-purpose, open-source library that simplifies the process of developing software that targets massively... -
23
Dart
Dart is a client-optimized language for fast apps on any platform
The Dart SDK, including the VM, dart2js, core libraries, and more. Develop with a programming language specialized around the needs of user interface creation. Make changes iteratively, use hot reload to see the result instantly in your running app. Compile to ARM & x64 machine code for mobile, desktop, and backend. Or compile to JavaScript for the web. Mature and complete async-await for user interfaces containing event-driven code, paired with isolate-based concurrency. A programming... -
24
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable... -
25
Tao3D
Tao3D is a programming language for real-time interactive 3D
Tao3D is a programming language for real-time interactive 3D. It lets you easily create dynamic, interactive, data-rich presentations, small applications, user interface concepts, and more.
