Showing 1506 open source projects for "basic language programming"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • Veeam Data Platform v13.1 - Get Your Free Trial Icon
    Veeam Data Platform v13.1 - Get Your Free Trial

    Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

    Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
    Try it Free
  • 1
    Carp

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    rust-analyzer

    rust-analyzer

    A Rust compiler front-end for IDEs

    rust-analyzer is a modular compiler frontend for the Rust language. It is a part of a larger rls-2.0 effort to create excellent IDE support for Rust. If you want to contribute to rust-analyzer or are just curious about how things work under the hood, check the ./docs/dev folder. If you want to use rust-analyzer's language server with your editor of choice, check the manual folder. It also contains some tips & tricks to help you be more productive when using rust-analyzer. rust-analyzer is an implementation of Language Server Protocol for the Rust programming language. ...
    Downloads: 12 This Week
    Last Update:
    See Project
  • 3
    Racket

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    YueScript

    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.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Earn up to 16% annual interest with Nexo. Icon
    Earn up to 16% annual interest with Nexo.

    Access competitive interest rates on your digital assets.

    Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
    Get started with Nexo.
  • 5
    sectorlisp

    sectorlisp

    Bootstrapping LISP in a Boot Sector

    The sectorlisp project is a minimal implementation of the Lisp programming language designed to fit within extremely constrained environments. It is engineered to run in very small memory footprints, making it suitable for educational purposes and experimentation with low-level programming concepts. The project demonstrates how a functional programming language can be implemented with minimal resources while still retaining core features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Objeck

    Objeck

    Objeck is a modern object-oriented programming language

    General-purpose object-oriented and functional programming language. Designed to be intuitive, lightweight, cross-platform and fast. The Objeck compiler produces two types of binaries. The first is an executable and the second type is a library. Libraries can be linked into executables by passing the names of libraries to the compiler. Objeck can be built for a variety of targets. The language is implemented in C++, assembly (i.e., generated machine code) and assisted by code generators for bindings to SDL2 and GTK 3/4.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 7
    Starlark in Go

    Starlark in Go

    Starlark in Go: the Starlark configuration language, implemented in Go

    starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 8
    Lambda Builders

    Lambda Builders

    Python library to compile, build & package AWS Lambda functions

    ...Build actions can be implemented in Python or in the native programming language. Each build action has its own design document.
    Downloads: 10 This Week
    Last Update:
    See Project
  • 9
    Agda

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-generated apps that pass security review Icon
    AI-generated apps that pass security review

    Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.

    Retool 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.
    Try Retool free
  • 10
    GitHub Trending Repos

    GitHub Trending Repos

    Track GitHub trending repositories in your favorite programming lang

    GitHub Trending Repos is a notification service for tracking repositories that appear on GitHub Trending. It organizes subscriptions by programming language through dedicated GitHub issues. A scheduled script retrieves trending repositories and posts new results as comments to the corresponding issues. Subscribers then receive the updates through GitHub notifications or email. Users can choose daily or weekly schedules for many supported languages. The project covers a broad range of ecosystems, including JavaScript, Python, Go, Rust, Java, TypeScript, C++, and many others.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    OCaml

    OCaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 12
    Mint

    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...
    Downloads: 11 This Week
    Last Update:
    See Project
  • 13
    Blockly

    Blockly

    The web-based visual programming editor

    ...From a user's perspective, Blockly is an intuitive, visual way to build code. From a developer's perspective, Blockly is a ready-made UI for creating a visual language that emits syntactically correct user-generated code. Blockly can export blocks to many programming languages.
    Downloads: 62 This Week
    Last Update:
    See Project
  • 14
    Idris 2

    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...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 15
    Mecha

    Mecha

    A parser combinator library for Zig

    A parser combinator library for the Zig programming language. Time to make your own parser mech.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Erlang/OTP

    Erlang/OTP

    Build massively scalable soft real-time systems

    Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems.
    Downloads: 45 This Week
    Last Update:
    See Project
  • 17
    DELVE

    DELVE

    Delve is a debugger for the Go programming language

    Delve is a debugger for the Go programming language. The goal of the project is to provide a simple, full featured debugging tool for Go. Delve should be easy to invoke and easy to use. Chances are if you're using a debugger, things aren't going your way. With that in mind, Delve should stay out of your way as much as possible. Delve aims to be a very simple and powerful tool, but can be confusing if you're not used to using a source level debugger in a compiled language. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 18
    CLIPS Rule Based Programming Language
    CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities.
    Leader badge
    Downloads: 854 This Week
    Last Update:
    See Project
  • 19
    BASIC-256
    BASIC-256 is an easy to use version of BASIC designed to teach anybody how to program. A built-in graphics mode lets them draw pictures on screen in minutes, and a set of easy-to-follow tutorials introduce programming concepts through fun exercises, 2021-08-05 - Ubuntu and other LINUX users can install the latest version with snap: sudo snap --beta basic256
    Leader badge
    Downloads: 109 This Week
    Last Update:
    See Project
  • 20
    Luau

    Luau

    Fast, small, safe, gradually typed embeddable scripting language

    It is designed to be backward compatible with Lua 5.1, as well as incorporating some features from future Lua releases, but also expands the feature set (most notably with type annotations). Luau is largely implemented from scratch, with the language runtime being a very heavily modified version of Lua 5.1 runtime, with a completely rewritten interpreter and other performance innovations. The runtime mostly preserves Lua 5.1 API, so existing bindings should be more or less compatible with a...
    Downloads: 59 This Week
    Last Update:
    See Project
  • 21
    ispc

    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. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 22
    Flix

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    SuperCollider

    SuperCollider

    Audio server, programming language, and IDE for sound synthesis

    ...Its granularity allows the fluid combination of many known and unknown audio techniques, moving between additive and subtractive synthesis, FM, granular synthesis, FFT, and physical modeling. You can write your own UGens in C++, and users have already contributed several hundred more to the sc3-plugins repository. sclang, an interpreted programming language. It is focused on sound, but not limited to any specific domain. sclang controls scsynth via Open Sound Control. You can use it for algorithmic composition and sequencing, finding new sound synthesis methods, connecting your app to external hardware.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 24
    MetaCall Core

    MetaCall Core

    The ultimate polyglot programming experience

    A polyglot runtime that enables seamless execution of multiple programming languages within the same environment, improving interoperability between different codebases.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 25
    LuaRocks

    LuaRocks

    LuaRocks is the package manager for the Lua programming language

    LuaRocks is the package manager for the Lua programming language, enabling installation and management of Lua modules and dependencies. It supports local and system-wide installations, dependency resolution, and Lua version management. LuaRocks is widely used in the Lua ecosystem, including by projects like OpenResty, Neovim, and LÖVE.
    Downloads: 6 This Week
    Last Update:
    See Project