Search Results for "instruction programming language" - Page 8
Sort By:
Showing 2457 open source projects for "instruction programming language"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
JuliaWorkshop
Intensive Julia workshop that takes you from zero to hero
This is an intensive workshop for the Julia language, composed out of three 2-hour segments. It targets people already familiar with programming, so that the established basics such as for-loops are skipped through quickly and efficiently. Nevertheless, it assumes only rudimentary programming familiarity and does explain concepts that go beyond the basics. The goal of the workshop is to take you from zero to hero (regarding Julia): even if you know nothing about Julia, by the end you should be able to use it like a pro. ... -
2
Symbolics.jl
Symbolic programming for the next generation of numerical software
Symbolics.jl is a high-performance symbolic computation library for the Julia programming language. It enables users to define, manipulate, and analyze mathematical expressions symbolically, with strong support for symbolic differentiation, simplification, equation solving, and code generation. Designed for use in scientific computing, machine learning, and engineering, Symbolics.jl integrates smoothly with Julia’s numerical ecosystem, allowing symbolic expressions to be compiled and optimized for high-speed evaluation. -
3
nlvm
LLVM-based compiler for the Nim language
nlvm is an LLVM-based compiler for the Nim programming language, aiming to leverage LLVM's optimization capabilities for improved performance. -
4
CadQuery
A python parametric CAD scripting framework based on OCCT
...It has several goals. Build models with scripts that are as close as possible to how you’d describe the object to a human, using a standard, already established programming language. Create parametric models that can be very easily customized by end users. Output high-quality CAD formats like STEP and AMF in addition to traditional STL. Provide a non-proprietary, plain text model format that can be edited and executed with only a web browser. The scripts use a standard programming language, Python, and thus can benefit from the associated infrastructure. ... -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
Fragments by E2B
Open source template for AI-powered code generation apps w/ sandboxes
Fragments is an open source template designed for building applications where artificial intelligence generates and executes code directly from natural language prompts. It provides a ready-to-use web interface where users can chat with AI models to create code snippets, applications, or scripts in various programming environments. Generated code can be executed safely in isolated sandbox environments using the E2B SDK, which helps protect the host system while running AI-produced programs. ... -
6
code-act
Official Repo for ICML 2024 paper
code-act is a research framework for building intelligent language-model agents that interact with their environment through executable code actions. The system proposes a unified action representation where language models produce Python code that can be executed directly, allowing the model to interact with external tools and environments in a structured way. By integrating a Python interpreter with the agent architecture, the system enables the agent to execute code, observe the results,... -
7
Apache Beam
Unified programming model for Batch and Streaming
Apache Beam is an open source, unified programming model to define both batch and streaming data-parallel processing pipelines, as well as certain language-specific SDKs for constructing pipelines and Runners. These pipelines are executed on one of Beam’s supported distributed processing back-ends, which include Apache Apex, Apache Flink, Apache Spark, and Google Cloud Dataflow. -
8
LLaMA 3
The official Meta Llama 3 GitHub site
This repository is the former home for Llama 3 model artifacts and getting-started code, covering pre-trained and instruction-tuned variants across multiple parameter sizes. It introduced the public packaging of weights, licenses, and quickstart examples that helped developers fine-tune or run the models locally and on common serving stacks. As the Llama stack evolved, Meta consolidated repositories and marked this one deprecated, pointing users to newer, centralized hubs for models,... -
9
TinyGo
Go compiler for small place
...TinyGo is a Go compiler intended for use in small places such as microcontrollers, WebAssembly (Wasm), and command-line tools. It reuses libraries used by the Go language tools alongside LLVM to provide an alternative way to compile programs written in the Go programming language. While TinyGo embeds the Clang compiler to parse import "C" blocks, many features of Cgo are still unsupported. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
Centrifugo
Scalable real-time messaging server in a language-agnostic way
Centrifugo is language-agnostic. It's a standalone server with a simple API that integrates well with an application written in any programming language. No need to change an existing application architecture to introduce real-time features. Just add Centrifugo nearby and let it deal with persistent connections. Centrifugo is built in Go language with some smart optimizations inside. -
11
DSPy
DSPy: The framework for programming—not prompting—language models
Developed by the Stanford NLP Group, DSPy (Declarative Self-improving Python) is a framework that enables developers to program language models through compositional Python code rather than relying solely on prompt engineering. It facilitates the construction of modular AI systems and provides algorithms for optimizing prompts and weights, enhancing the quality and reliability of language model outputs. -
12
Introduction to Zig
An open, technical and introductory book for the Zig programming lang
This is the official repository for the book "Introduction to Zig: a project-based Book", written by Pedro Duarte Faria. To know more about the book, check out the About this book section below. You can read the current version of the book in your web browser. The book is built using the publishing system Quarto in conjunction with a little bit of R code (zig_engine.R), which is responsible for calling the Zig compiler to compile and run the Zig code examples. -
13
Ren'Py
The Ren'Py Visual Novel Engine
Ren’Py is a free and open-source visual novel engine that makes telling interactive stories easy by combining narrative scripting with multimedia support for images, sound, and music in a way that’s accessible to both beginners and experienced developers. Its scripting language is designed to be readable and intuitive, allowing writers and creators to define scenes, dialogues, branching choices, character expressions, and events without deep programming knowledge, while still offering the ability to embed Python for advanced control and custom gameplay features. The engine handles essential visual novel conventions like save and load systems, rollback to previous text, scene transitions, and UI menus, so creators can focus on the story and player experience. ... -
14
fairseq2
FAIR Sequence Modeling Toolkit 2
fairseq2 is a modern, modular sequence modeling framework developed by Meta AI Research as a complete redesign of the original fairseq library. Built from the ground up for scalability, composability, and research flexibility, fairseq2 supports a broad range of language, speech, and multimodal content generation tasks, including instruction fine-tuning, reinforcement learning from human feedback (RLHF), and large-scale multilingual modeling. Unlike the original fairseq—which evolved into a large, monolithic codebase—fairseq2 introduces a clean, plugin-oriented architecture designed for long-term maintainability and rapid experimentation. ... -
15
Riff
Nine opinionated skills for writing personal essays with Claude
...It also supports extensibility, allowing developers to adapt the tool to different programming environments. Overall, Riff acts as an intelligent coding assistant that improves productivity and developer experience. -
16
Axolotl
Go ahead and axolotl questions
Axolotl is a powerful and flexible framework for fine-tuning large language models on custom datasets. Built for researchers and developers, Axolotl simplifies the process of adapting LLMs for specific tasks, including chat, code generation, and instruction following. It supports a wide variety of model architectures and offers out-of-the-box optimization strategies for efficient training. -
17
MicroPython
Python implementation for microcontrollers and constrained systems
MicroPython is a lean and efficient implementation of the Python 3 programming language that includes a small subset of the Python standard library and is optimised to run on microcontrollers and in constrained environments. The MicroPython pyboard is a compact electronic circuit board that runs MicroPython on the bare metal, giving you a low-level Python operating system that can be used to control all kinds of electronic projects. -
18
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for applied category theory. ... -
19
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... -
20
AsmJit
Low-latency machine code generation
...Its modular design allows developers to integrate it into various systems with minimal friction. Overall, asmjit bridges the gap between high-level programming and low-level execution by enabling efficient runtime code generation. -
21
Easy-Vibe
Tutorial on Product Prototype, AI Capability Integration
Easy-Vibe is an open-source educational project designed to teach developers, product managers, and beginners how to build AI-powered applications using the emerging concept of “vibe coding,” a development approach that relies heavily on AI-assisted programming tools. The project provides a structured curriculum that guides learners from having no programming experience to building fully functional AI-integrated applications. Instead of focusing only on theoretical concepts, Easy-Vibe... -
22
CodeGeeX
CodeGeeX: An Open Multilingual Code Generation Model (KDD 2023)
CodeGeeX is a large-scale multilingual code generation model with 13 billion parameters, trained on 850B tokens across more than 20 programming languages. Developed with MindSpore and later made PyTorch-compatible, it is capable of multilingual code generation, cross-lingual code translation, code completion, summarization, and explanation. It has been benchmarked on HumanEval-X, a multilingual program synthesis benchmark introduced alongside the model, and achieves state-of-the-art... -
23
Xtuner
A Next-Generation Training Engine Built for Ultra-Large MoE Models
...Its architecture incorporates memory-efficient optimizations that allow researchers to train large models even when computational resources are limited. XTuner is also designed to integrate with modern AI ecosystems, supporting multimodal training, reinforcement learning optimization, and instruction tuning pipelines. -
24
MathModelAgent
An Agent Designed for Mathematical Modeling
...The platform automates the process of analyzing mathematical problems, constructing models, generating code for simulations or computations, and producing a complete research-style report. The project uses a multi-agent architecture where different specialized agents handle tasks such as problem interpretation, modeling design, programming implementation, and paper writing. Through integration with multiple large language models, the system can coordinate these components to generate structured modeling solutions and formatted research papers suitable for submission. The platform also includes a code execution environment that allows generated programs to be tested, corrected, and refined during the modeling workflow. -
25
Plutus
The Plutus language implementation and tools
...It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms.
