Search Results for "instruction programming language" - Page 2
Sort By:
785 projects for "instruction programming language" with 2 filters applied:
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
InvertibleNetworks.jl
A Julia framework for invertible neural networks
Building blocks for invertible neural networks in the Julia programming language. -
2
The Agda standard library
The Agda standard library
...While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean. -
3
LangChainGo
LangChain for Go, the easiest way to write LLM-based programs in Go
LangChainGo is a Go-based implementation of the LangChain framework, designed to help developers build applications powered by large language models using the Go programming language. It provides a modular architecture that allows developers to combine components such as language models, chains, agents, memory systems, and vector stores into flexible workflows. The framework emphasizes composability, making it easy to create complex pipelines that integrate LLMs with external data sources, APIs, and tools. ... -
4
webR
The statistical language R compiled to WebAssembly via Emscripten
webR is a project that compiles the R statistical programming language into WebAssembly, enabling it to run entirely within web browsers or JavaScript environments without requiring a server-side installation. By using Emscripten to adapt R’s C, C++, and Fortran codebase, webR creates a fully functional runtime that can execute R scripts directly in the browser. The project includes a web-based integrated development environment that uses tools like xterm.js and CodeMirror, allowing users to interact with R through a familiar console and editor interface. ... -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
-
5
Fury
A blazing fast multi-language serialization framework
Fury is a blazing-fast multi-language serialization framework powered by jit(just-in-time compilation) and zero-copy, providing up to 170x performance and ultimate ease of use. Based on efficient JIT, struct deserialization can get 170x speed up compared to other serialization frameworks. In serialization scenarios, Fury can achieve a 100x speed up compared to traditional serialization frameworks. If you use Java clusters on a large scale, this will save a lot of computing resources. -
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. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and execute Ruby code efficiently. ... -
7
Mangle
Go library for Datalog-style logical reasoning and domain modeling
Mangle is a programming language developed by Google for deductive database programming, serving as an advanced extension of Datalog. It is designed to unify and query data from multiple sources in a structured, declarative way while allowing developers to model complex relationships and domain knowledge beyond binary predicates. Mangle enhances traditional Datalog by introducing features such as aggregation, function calls, and optional type-checking, which make it more practical for modern data-intensive applications. ... -
8
SpaceX prepare for Clean Architecture
Clean Architecture Modular Project: MVVM + Jetpack Compose
The purpose of this project is to consolidate some of the learned insights throughout the years about the Clean Architecture principles and reflect those lessons on Android, taking advantage of the Kotlin programming language features too. This project summarises some of the general use cases and demands on a typical production project using: Jetpack Compose, Functional Programming, MVVM, Kotlin Coroutines, and Kotlin Flows (check the branches section for more information). -
9
MirageOS
MirageOS is a library operating system that constructs unikernels
A programming framework for building type-safe, modular systems. MirageOS is a library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud computing and mobile platforms. Code can be developed on a normal OS such as Linux or macOS, and then compiled into a fully standalone, specialized unikernel that runs under a Xen or KVM hypervisor. This lets your services run more efficiently, securely and with finer control than with a... -
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.
-
10
napi-rs
A framework for building compiled Node.js add-ons in Rust via Node-API
NAPI-RS is a framework for building native Node.js modules using the Rust programming language, offering a safe and efficient way to write performance-critical code. -
11
Ktor
Framework for quickly creating connected applications in Kotlin
...Anything from microservices to multiplatform HTTP client apps in a simple way. Open Source, free, and fun. Ktor is built from the ground up using Kotlin and Coroutines. You get to use a concise, multiplatform language, as well as the power of asynchronous programming with an intuitive imperative flow. Ktor allows you to use only what you need, and to structure your application the way you need it. In addition, you can also extend Ktor with your own plugin very easily. Brought to you by JetBrains, creators of IntelliJ IDEA, Kotlin, and more. Ktor is not only used by our customers, but also internally at JetBrains. ... -
12
NotyKT
Complete Kotlin-stack (Backend + Android) application
NotyKT is the complete Kotlin-stack note-taking application built to demonstrate a use of Kotlin programming language in server-side and Modern Android development tools. Dedicated to all Android Developers. -
13
Netcap
A framework for secure and scalable network traffic analysis
...These audit records can be stored on disk or exchanged over the network, and are well-suited as a data source for machine learning algorithms. Since parsing of untrusted input can be dangerous and network data is potentially malicious, a programming language that provides a garbage-collected memory-safe runtime is used for the implementation. -
14
Transit Format
A data interchange format
Transit is a data interchange format and set of libraries designed for reliably conveying structured values (with types) between applications written in different programming languages. The “transit-format” repository defines the specification of the format (tagging, extension, encoding rules) independent of any implementation. It builds on top of JSON and MessagePack (where possible) to reuse their performance and parsing infrastructure, but adds a tagging/extension mechanism to support... -
15
Comprehensive Python Cheatsheet
Comprehensive Python Cheatsheet
Comprehensive Python Cheatsheet is a comprehensive reference resource that consolidates essential Python syntax, idioms, and best practices into a highly readable and searchable format. The project is designed to help developers quickly recall language features without digging through full documentation, making it especially useful for both beginners and experienced programmers. It covers a broad range of topics including data structures, control flow, functions, object-oriented programming, standard library usage, and common patterns. The repository includes both web and printable versions, allowing users to access the material in multiple formats depending on their workflow. ... -
16
SDL
Simple DirectMedia Layer
SDL (Simple DirectMedia Layer) is a cross-platform multimedia development library designed to provide low-level access to hardware components such as graphics, audio, input devices, and system resources, making it a foundational tool for building games, emulators, and interactive applications. It abstracts platform-specific functionality into a consistent API, allowing developers to write code once and deploy it across multiple operating systems including Windows, macOS, Linux, iOS, and... -
17
emiT-C
A time travelling programming language
emiT is a language all about parallel timelines. At any given point you can send a variable back in time, and make it change things about the past, starting a new timeline where the result is different. You can kill variables, which destroys them permanantly- at least until you send another variable back in time to kill the variable doing the killing. This very quickly leads to a lot of confusion, with a constantly changing source code and the very easy possibility of creating a paradox or a... -
18
huihut interview
A summary of C/C++ technical interview basics
interview is a curated repository of technical interview questions, solutions, and explanations covering a wide range of topics in computer science and software engineering. It aims to help developers prepare for job interviews by providing sample problems in algorithms, data structures, system design, databases, and programming language intricacies, often with code snippets and discussion. The repo is designed so learners can practice real interview scenarios, compare approaches, and internalize foundational concepts that are frequently tested by tech companies. Many entries include both the problem statement and one or more reference implementations, offering insights into time/space complexity and tradeoffs between competing strategies. ... -
19
Images.jl
An image library for Julia
JuliaImages (source code) hosts the major Julia packages for image processing. Julia is well-suited to image processing because it is a modern and elegant high-level language that is a pleasure to use, while also allowing you to write "inner loops" that compile to efficient machine code (i.e., it is as fast as C). Julia supports multithreading and, through add-on packages, GPU processing. JuliaImages is a collection of packages specifically focused on image processing. It is not yet as complete as some toolkits for other programming languages, but it has many useful algorithms. ... -
20
miso
A tasty Haskell front-end framework
...Miso is pure by default, but side effects (like XHR) can be introduced into the system via the Effect data type. Miso makes heavy use of the GHCJS FFI and therefore has minimal dependencies. Miso can be considered a shallow embedded domain-specific language for modern web programming. -
21
Go Katas
A collection of daily coding challenges
...Implementations can be tested locally, graded automatically with included test suites, and iterated on so that learners get rapid feedback and measurable progress. Because Go is widely used for backend services, cloud tooling, and systems programming, this repository helps participants build confidence in writing reliable, idiomatic, and maintainable code in real environments. -
22
Docco
Literate Programming can be Quick and Dirty
Docco is a documentation generator by Jeremy Ashkenas that embraces the literate-programming style: it takes your source code and produces annotated HTML documentation that shows your comments side-by-side with your code. The idea is to read code like a book — commentary on one side, code on the other — which helps reviewers and learners understand intent and implementation simultaneously. It supports many languages (via configuration) and is intentionally quick and dirty, prioritizing... -
23
Chronicle Queue
Micro second messaging that stores everything to disk
Micro second messaging that stores everything to disk. With millions of users worldwide, Chronicle Queue is a leading choice for organizations of all sizes seeking a low-latency, high-performance messaging framework. The Chronicle Queue Enterprise version eliminates compatibility issues and allows for the seamless integration and sharing of data between Java, Rust, Python, and C++ libraries. Chronicle Queue is available as a fully native Java, Rust or C++ library, and also supports a Python... -
24
General
The official registry of general Julia packages
General is the default package registry for the Julia programming language, providing the foundation for Julia’s package manager, Pkg.jl. It stores essential information about packages, including versions, dependencies, and compatibility constraints, and serves as the central hub for the Julia package ecosystem. The registry is open to all and makes it easy for developers and researchers to access, install, and share packages across a wide range of domains. -
25
DynaMix
A new take on polymorphism
DynaMix (Dynamic Mixins) is an alternative take on object-oriented programming and dynamic polymorphism. It lets users compose and modify polymorphic objects at run time. The main target language is C++, but C is also supported. The library is a means to create a project's architecture rather than achieve its purpose. It helps with extensibility, readability, scalability, and interoperability. It focuses on maximal performance and minimal memory overhead.
