Search Results for "lightweight programming language" - Page 2
Sort By:
Showing 244 open source projects for "lightweight programming language"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. -
2
Unison
A friendly programming language from the future
Unison is an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management, Unison has no builds, no dependency conflicts, and renaming things is trivial. -
3
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. -
4
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. ... -
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
Ruby
Ruby programming language
A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write. Ruby is a language of careful balance. Its creator, Yukihiro “Matz” Matsumoto, blended parts of his favorite languages (Perl, Smalltalk, Eiffel, Ada, and Lisp) to form a new language that balanced functional programming with imperative programming. -
6
HAXE
The cross-platform toolkit
Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler. Haxe can build cross-platform applications targeting JavaScript, C++, C#, Java, JVM, Python, Lua, PHP, Flash, and allows access to each platform's native capabilities. Haxe has its own VMs (HashLink and NekoVM) but can also run in interpreted mode. Haxe is useful in a wide variety of domains; games, web, mobile, desktop, command-line and cross-platform APIs. -
7
Python
The Python programming language
Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. ... -
8
Seagull Programming Language
A modern programming language which compiles to Fortran.
Seagull is a modern and fast programming language which transpiles to Fortran. Seagull aims to provide a modern and intuitive ecosystem, tooling, and syntax on top of the Fortran backend, leveraging from its high numerical speed. Seagull is modular, and all functions are grouped into modules. Visit the official website for more information: https://seagull.ct.ws -
9
Jeltz Programming Language
Jeltz glue programming language, minimal functional, easily embeddable
Jeltz is a minimal programming language where everything is either a function or an invocation. The goal is to code the interpreter in many languages so that it can be easily embedded. It is useful for task automation and is designed to be extensible. The memory manager uses dynamic scoping; each invocation consists of a module and a method and has an optional body that introduces a new context. -
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
Racket
The Racket repository
Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. -
11
Xi Programming Language
A general-purpose, mutliparadigm language.
Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library. -
12
php-src
The PHP Interpreter
This is the official source repository of PHP, a popular open-source server-side scripting language primarily used for web development. PHP powers a significant portion of the web, including platforms like WordPress, Drupal, and Laravel. The repository includes the core language engine, standard libraries, and tools for compilation and deployment across systems. -
13
Chez Scheme
A programming language and an implementation of that language
Chez Scheme is both a programming language and an implementation of that language, with supporting tools and documentation. As a superset of the language described in the Revised6 Report on the Algorithmic Language Scheme (R6RS), Chez Scheme supports all standard features of Scheme, including first-class procedures, proper treatment of tail calls, continuations, user-defined records, libraries, exceptions, and hygienic macro expansion. -
14
Pygame
Set of Python modules designed for writing video games
Pygame is a Free and Open Source python programming language library for making multimedia applications like games built on top of the excellent SDL library. Like SDL, pygame is highly portable and runs on nearly every platform and operating system. -
15
YueScript
A Moonscript dialect compiles to Lua
...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. -
16
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). -
17
ArkScript
ArkScript is a small, fast, functional and scripting language for C++
ArkScript is a small, fast, functional and scripting language for C++ projects. -
18
Odin
Odin Programming Language
Odin is a general-purpose programming language with distinct typing built for high performance, modern systems, and data-oriented programming. Odin has been designed for readability, scalability, and orthogonality of concepts. Simplicity is complicated to get right, clear is better than clever. Odin allows for the highest performance through low-level control over the memory layout, memory management, custom allocators and so much more. -
19
Lux
The Lux Programming Language
Lux is a new programming language in the making. It's meant to be a functional, statically-typed Lisp that will run on several platforms, such as the Java Virtual Machine and JavaScript, Python, Lua, or Ruby interpreters. Lux is in the beta stage. The JVM compiler is pretty stable and the standard library has grown to a respectable size. Also, new experimental support for JavaScript, Python, Lua, and Ruby has been added. -
20
Scala 3
The Scala 3 compiler, also known as Dotty
Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability. -
21
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
22
Perl 5
The Perl programming language
This repository contains the reference implementation of the Perl 5 programming language, including the interpreter, core modules, build system, and an extensive test suite. Perl 5 is a multi-paradigm language renowned for powerful text processing, rich regular expressions, and pragmatic glue code across systems. The core distribution is highly portable, building on Unix, Linux, Windows, and many other platforms, with stable release cycles and careful back-compatibility. ... -
23
Mint
A refreshing programming language for the front-end web
Mint has all the tools you need to write error-free, easily readable, and maintainable applications in record time. In Mint you can style elements directly with CSS using style blocks. Inside a style block, you can nest as many sub selectors and media queries as you like. Interpolate any Mint expressions in any value using the interpolation syntax. You can even use if and case expressions inside any block to apply styles conditionally. In Mint a store contains and manages some data. Stores... -
24
Idris 2
A purely functional programming language with first class types
In type-driven development, types are tools for constructing programs. We treat the type as the plan for a program, and use the compiler and type checker as our assistant, guiding us to a complete program that satisfies the type. The more expressive the type is that we give up front, the more confidence we can have that the resulting program will be correct. In Idris, types are first-class constructs in the language. This means types can be passed as arguments to functions, and returned from... -
25
Crystal
The crystal programming language
Crystal’s syntax is heavily inspired by Ruby’s, so it feels natural to read and easy to write, and has the added benefit of a lower learning curve for experienced Ruby devs. Crystal is statically type checked, so any type errors will be caught early by the compiler rather than fail on runtime. Moreover, and to keep the language clean, Crystal has built-in type inference, so most type annotations are unneeded. All types are non-nilable in Crystal, and nilable variables are represented as a...
