Search Results for "lightweight programming language" - Page 2
Sort By:
Showing 2751 open source projects for "lightweight programming language"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
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
nimforum
Lightweight alternative to Discourse written in Nim
NimForum is a lightweight forum software written in Nim, designed for simplicity and ease of deployment. It powers the official Nim programming language forum. -
2
ELENA Programming Language
an object-oriented language with late binding
ELENA is a general-purpose, pure object-oriented language with late binding. It promotes more object-oriented program design, reusable and more standardized code. The package includes compiler, IDE, ELENA libraries and samples -
3
Granite 3.0 Language Models
New set of lightweight state-of-the-art, open foundation models
This repository introduces Granite 3.0 language models as lightweight, state-of-the-art open foundation models built to natively support multilinguality, coding, reasoning, and tool usage. A central goal is efficient deployment, including the potential to run on constrained compute resources while remaining useful for a broad span of enterprise tasks. The repo positions the models for both research and commercial use under an Apache-2.0 license, signaling permissive adoption paths. ... -
4
The CUE Data Constraint Language
The home of the CUE language. Validate and define text-based config
CUE is an open source data constraint language which aims to simplify tasks involving defining and using data. CUE merges the notion of schema and data. The same CUE definition can simultaneously be used for validating data and act as a template to reduce boilerplate. Schema definition is enriched with fine-grained value definitions and default values. At the same time, data can be simplified by removing values implied by such detailed definitions. The merging of these two concepts enables... -
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
Action! Programming Language
Action! - The Native Programming Language for Atari 8-bit Computers
Action! is a programming language for the Atari 8-bit family of microcomputers. It features an integrated editor, a debugger, and a 6502 compiler. Action! was created by Clinton Parker and released on cartridge by Optimized Systems Software (OSS) in 1983. Its syntax is similar to that of ALGOL 68. Action! is significant for its high performance, which allows games and graphics demos to be written in a high-level language without the use of hand-written assembly language code. ... -
6
mruby
Lightweight Ruby
mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. -
7
Hoverfly
Lightweight service virtualization/ API simulation / API mocking tool
Hoverfly is a lightweight, open source API simulation tool. Using Hoverfly, you can create realistic simulations of the APIs your application depends on. Replace unreliable test systems and restrictive API sandboxes with high-performance simulations in seconds. Run on MacOS, Windows or Linux, or use native Java or Python language bindings to get started quickly. -
8
ClojureScript
Compiler for Clojure that targets JavaScript
...It is designed to emit JavaScript code which is compatible with the advanced compilation mode of the Google Closure optimizing compiler. Clojure is a dynamic, general-purpose programming language supporting interactive development. Clojure is a functional programming language featuring a rich set of immutable, persistent data structures. As a dialect of Lisp, it has a code-as-data philosophy and a powerful macro system. Clojure is a dynamic, general-purpose programming language supporting interactive development. ... -
9
glad
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator
Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specifications for multiple languages. -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
10
Common Expression Language
Fast, portable, non-Turing complete expression evaluation
...CEL is ideal for lightweight expression evaluation when a fully sandboxed scripting language is too resource intensive. To get started, try the Codelab. Determine the variables and functions you want to provide to CEL. Parse and check an expression to make sure it's valid. Then evaluate the output AST against some input. Checking is optional but strongly encouraged. -
11
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. -
12
Quine Relay
An uroboros program with 100+ programming languages
quine-relay is an esoteric programming project that produces a single program which, when run, outputs the same program in another programming language; and that next-language version, when run, outputs itself in yet another language—and so on—cycling through many languages until returning to the original. It is effectively a “relay” of quines across dozens (or hundreds) of languages. -
13
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. -
14
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 -
15
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. -
16
langrocks
Tools like web browser, computer access and code runner for LLMs
Langrocks is a programming language experimentation toolkit that enables developers to create, test, and optimize custom programming languages. -
17
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. -
18
CodeGeeX2
CodeGeeX2: A More Powerful Multilingual Code Generation Model
CodeGeeX2 is the second-generation multilingual code generation model from ZhipuAI, built upon the ChatGLM2-6B architecture and trained on 600B code tokens. Compared to the first generation, it delivers a significant boost in programming ability across multiple languages, outperforming even larger models like StarCoder-15B in some benchmarks despite having only 6B parameters. The model excels at code generation, translation, summarization, debugging, and comment generation, and it supports over 100 programming languages. With improved inference efficiency, quantization options, and multi-query/flash attention, CodeGeeX2 achieves faster generation speeds and lightweight deployment, requiring as little as 6GB GPU memory at INT4 precision. ... -
19
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. -
20
ispc
Intel SPMD Program Compiler
ispc is a compiler for a variant of the C programming language, with extensions for single programs, and multiple data programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. ispc compiles a C-based SPMD programming language to run on the SIMD units of CPUs and GPUs; it frequently provides a 3x or more speedup on architectures with 4-wide vector SSE units and 5x-6x on architectures with 8-wide AVX vector units, without any of the difficulty of writing intrinsics code. ... -
21
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. -
22
golang101
Programming explanation and instruction book focusing on Go syntax
A programming explanation and instruction book focusing on Go language syntax and semantics. A Go programming knowledge base that keeps pace with the times. Go 101 is a series of books about programming in Go. The current series includes "Go Language (Basic Knowledge) 101" is a programming guide book ( e-book download ) that focuses on Go syntax and semantics (except custom generics) and runtime-related knowledge points. -
23
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. ... -
24
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. -
25
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. ...
