Search Results for "atom-project"
Sort By:
Showing 53 open source projects for "atom-project"
View related business solutions-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
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
Lean 4
Lean 4 programming language and theorem prover
...The broader Lean ecosystem also includes official tutorials, language references, examples, and installation and build tools, which reflects that the project is not just a core compiler repository but the center of a mature development platform. -
3
Lombok
New additions to the Java programming language
Project Lombok is a java library that automatically plugs into your editor and build tools, spicing up your java. Never write another getter or equals method again, with one annotation your class has a fully featured builder, Automate your logging variables, and much more. Project Lombok is available as a single jar file on the project site. -
4
Vercel Zero
The programming language for agents
...The project includes commands for checking, running, building, graph inspection, size reporting, diagnostics, and repair-oriented workflows. Its main goal is to create a systems-oriented language environment that agents can understand and act on without relying only on human-readable compiler messages. -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
Checked C
Checked C is an extension to C that lets programmers write C code
...Checked C adds static and dynamic checking to C to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. The goal of the project is to improve systems programming by making fundamental improvements to C. This repo contains sample code, the extension specification, and test code. The Checked C project is extending the C programming language so that programmers can write more secure and reliable C programs. The project is developing an extension to C called Checked C that adds checking to C to detect or prevent common programming errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. -
6
Solidity
The Smart Contract Programming Language
...We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
7
HAXE
The cross-platform toolkit
...Become contributor on GitHub, join our community on our Discord chat and forum and find us on Facebook, Twitter and StackOverflow. Haxelib is the package manager for Haxe, which offers many free libraries powered by the Haxe community. Manage your project dependencies and distribute libraries. -
8
jsii
jsii allows code in any language to naturally interact with JavaScript
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase! A class library written in TypeScript can be used in projects authored in TypeScript or Javascript (as usual), but also in C# (and other languages from the .NET family), Go, Java, Python, etc. More languages will be added in the future! Due to JSON marshaling costs and the absence of a distributed... -
9
Modern C++ Programming
Modern C++ Programming Course
Modern-CPP-Programming is a teaching repository that introduces practical C++11/14/17 features through focused examples, exercises, and notes. It walks through core language topics like RAII, move semantics, templates and metaprogramming, lambdas, and smart pointers with an eye toward real-world patterns. Concurrency and performance enter the picture via threads, atomics, futures, and memory considerations, helping learners reason about correctness and speed. The materials highlight best... -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
Triton
Development repository for the Triton language and compiler
...Triton enables users to write optimized kernels for machine learning workloads while maintaining readability and control over performance-critical aspects like memory access patterns and parallel execution. The project leverages LLVM and MLIR to compile code into efficient GPU instructions, supporting both NVIDIA and AMD hardware. It is widely used in research and production environments where custom tensor operations are required, offering both high performance and developer-friendly syntax. -
11
Gravity language
Gravity Programming Language
...Gravity supports procedural programming, object-oriented programming, functional programming, and data-driven programming. Thanks to special built-in methods, it can also be used as a prototype-based programming language. Gravity has been developed from scratch for the Creo project in order to offer an easy way to write portable code for the iOS and Android platforms. It is written in portable C code that can be compiled on any platform using a C99 compiler. The VM code is about 4K lines long, the multipass compiler code is about 7K lines and the shared code is about 3K lines long. The compiler and virtual machine combined add less than 200KB to the executable on a 64-bit system. -
12
Lux
The Lux Programming Language
...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. Read carefully before using this project, as the license disallows commercial use, and has other conditions which may be undesirable for some. The language is mostly inspired by the following 3 languages. Clojure (syntax, overall look & feel), Haskell (functional programming), and Standard ML (module system). They are implemented as plain-old data-structures whose expressions get eval'ed by the compiler and integrated into the type-checker. ... -
13
Learn Go
Master the fundamentals and advanced features of the Go language
Learn Go is a learning-focused repository built to teach Go from first principles through more advanced language and ecosystem features. It takes a course-like approach, starting with environment setup and the “Hello world” basics, then moving into variables, types, formatting, control flow, and functions. From there, it expands into Go’s practical structure for real projects, including modules, packages, and workspaces, plus useful commands for building and working with programs. The... -
14
Wuffs
Wrangling Untrusted File Formats Safely
...The design prioritizes predictable performance: decoders avoid dynamic allocation by default, return explicit “short read” signals, and run well in streaming or sandbox-free environments. The project ships battle-tested, CPU-friendly implementations for common image/container formats and bit-twiddly primitives like Huffman and checksum routines. Its standard library emphasizes portability and constant-time behavior where appropriate, which is valuable in security-sensitive contexts. Because the language is purpose-built, the resulting C output is small, auditable, and easy to embed in larger systems. -
15
Bend
A massively parallel, high-level programming language
...The tool lets you define variables, functions, or values at the prompt and iteratively refine them—immediately seeing output and types—while preserving state across commands. It emphasizes discoverability and experimentation: users can inspect functions, call them on sample inputs, and evolve logic without a full project scaffold. Because it’s embedded in a graphical or console interface, Bend aims to reduce the friction of switching between editor and runtime when prototyping or debugging ideas in Kotlin. It can also be extended with libraries or domain-specific tools, making it a flexible playground for domain scripting, education, or data exploration. -
16
Spindle
The language used in the AP CSP Exam, now a programming language!
Spindle is a simple language designed to help AP CSP students ace their AP Exam. Spindle code largely mirrors the code found in the AP CSP Reference Sheet and allows students and teachers to get comfortable with code in the same format it'll have on exam day. -
17
The Unicon Project
A modern descendant of the Icon programming language.
Unicon is a very high level object-oriented network- and graphics-savvy programming language with a syntax similar to Pascal or C. Goal-direction, backtracking, patterns and novel data structures make Unicon ideal for rapidly solving complex problems. -
18
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 -
19
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. -
20
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
21
Action! Programming Language
Action! - The Native Programming Language for Atari 8-bit Computers
...language constructs were designed to map cleanly to 6502 opcodes. In 2015, Clinton Parker released the Action! 3.6 source code to the public under the terms of GPL. This project is intended to preserve the Action! source code, provide fixes for known bugs, and add new features in version 3.7. Join us at AtariAge https://forums.atariage.com/topic/217770-action-source-code for questions and discussions. Check out https://atariwiki.org/wiki/Wiki.jsp?page=Action for related information. -
22
FMOCPP
Eclipse C/C++ MinGW MSYS2
The project aims to simplify the combined use of Eclipse, MinGW, and MSYS2 by providing a more accessible solution for preparing the development environment, compiling source code, and running C/C++ applications. In this way, students can focus on learning the fundamentals of programming, computational logic, and software solution development, while reducing the initial technical difficulties related to system paths, compilers, terminals, and dependencies. -
23
...It includes built-in standard libraries such as time, random, and math for common computational tasks without external dependencies. Cobalt also comes with a custom Windows-based IDE built using Tkinter, providing code editing, execution, and output viewing in one environment. The project is distributed as a ZIP package containing the language runtime and IDE. It is intended for beginners, students, and developers interested in experimenting with programming language development and software engineering concepts.
-
24
DocScript
A simple, procedural programming language.
DocScript ...is a simple procedural programming language, with... Real-time multi-client distributed "execution sessions" Numeric literals in any base Built-in remote code-execution (DS-Remoting) Compilation to standalone .NET exes (DS-Compilation) A capability to pipe separate interpretation stages into one another. Watch the "DocScript in 3 Minutes" YouTube Video! https://www.youtube.com/watch?v=ybl5pVSJOOk Start using DocScript in the next few seconds: open cmd, and... -
25
Ring
Simple and flexible programming language for applications development
...The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, Microcontrollers, etc.) and can be used to create Console, GUI, Web, Games and Mobile applications. The language is designed to be simple, small and flexible. Ring is distributed as a Free-Open Source project under the MIT License.