785 projects for "instruction programming language" with 2 filters applied:

  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 1
    Metatheory.jl

    Metatheory.jl

    General purpose algebraic metaprogramming

    Metatheory.jl is a general purpose term rewriting, metaprogramming and algebraic computation library for the Julia programming language, designed to take advantage of the powerful reflection capabilities to bridge the gap between symbolic mathematics, abstract interpretation, equational reasoning, optimization, composable compiler transforms, and advanced homoiconic pattern matching features. The core features of Metatheory.jl are a powerful rewrite rule definition language, a vast library of functional combinators for classical term rewriting and an e-graph rewriting, a fresh approach to term rewriting achieved through an equality saturation algorithm. ...
    Downloads: 3 This Week
    Last Update:
    See Project
  • 2
    javascript-algorithms

    javascript-algorithms

    JavaScript implementations of computer science algorithms

    javascript-algorithms is a repository that implements a comprehensive collection of classic data structures and algorithmic solutions in JavaScript — including sorting, searching, graph algorithms, dynamic programming, and more. It serves as a learning and reference resource for developers wanting to understand how standard algorithms can be expressed in JavaScript, bridging the gap between theoretical algorithm knowledge and practical implementation usable in web or Node.js contexts. Because algorithms are implemented in a language (JavaScript) many developers use daily, the repo becomes especially useful for students, interview-preparation candidates, or anyone wanting to learn algorithmic thinking without switching languages. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Symja Java Computer Algebra

    Symja Java Computer Algebra

    Symja - Java computer algebra language & symbolic math library

    Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example
    Downloads: 26 This Week
    Last Update:
    See Project
  • 4
    Gnostic

    Gnostic

    A compiler for APIs described by the OpenAPI Specification with plugin

    Gnostic is a command-line tool and Go library developed by Google for converting OpenAPI specifications (in JSON or YAML) to and from Protocol Buffer (protobuf) representations. It allows developers to handle OpenAPI documents in a strongly typed, language-neutral, and extensible way by generating structured data models that can be used across different programming languages supported by protobuf. Using these protobuf models, developers can safely parse, validate, and manipulate OpenAPI specifications, resolve dependencies, and export results as JSON, YAML, or binary files. Gnostic also provides a plugin interface similar to protoc, enabling integration with external API tooling and the generation of additional artifacts, such as annotated protobuf APIs, Go clients, and vocabulary summaries. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 5
    LAPP package in Complete Virtual Machine

    LAPP package in Complete Virtual Machine

    Quick Apache/PHP/Postgresql Pkg for development, testing & production

    This VM is created for 2 reasons: 1. Very little initial setup work required to Develop / Test / Deploy a Dynamic Web Application live. 2. This system should keep running for Years, without requiring Updates / Breakages. If you are new to Virtual Machines, then please watch the Video below ( taken from my other PHP project called teamdocs. Just replace td with lapp wherever mentioned ) Upload your PHP Files using the free FileZilla ftp client software, to this server called lapp.local...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    LAMP package in Complete Virtual Machine

    LAMP package in Complete Virtual Machine

    A Quick LAMP/WAMP/MAMP/XAMPP Pkg for development, testing & production

    This VM is created for 2 reasons: 1. Very little initial setup work required to Develop / Test / Deploy a Dynamic Web Application live, within minutes. 2. This system should keep running for Years, without requiring Updates / Breakages. If you are new to Virtual Machines, then please watch the Video below ( taken from my other sample PHP project called teamdocs. You may cleanup this Application from the htdocs home folder link & its corresponding database, after logging into mysql. The...
    Downloads: 12 This Week
    Last Update:
    See Project
  • 7
    Kitten

    Kitten

    A statically typed concatenative systems programming language

    Kitten is an experimental, concatenative programming language that blends Forth/Joy-style stack programming with modern static typing and effect tracking. Programs are composed by chaining small words that transform a typed stack, and the compiler uses type inference to ensure compositions are valid. The language explores disciplined handling of side effects, aiming to separate pure transformations from operations that perform I/O or mutate state.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    SMC - The State Machine Compiler

    SMC - The State Machine Compiler

    Translates state machine into a target programming language.

    SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.
    Leader badge
    Downloads: 17 This Week
    Last Update:
    See Project
  • 9
    Enterprise

    Enterprise

    The Enterprise™ programming language

    Enterprise is a satirical open-source project that humorously critiques corporate software development practices by presenting intentionally overengineered and unnecessarily complex code structures. Rather than aiming to solve a practical technical problem, it serves as a parody of enterprise-grade software, showcasing exaggerated patterns such as excessive abstraction, redundant layers, and convoluted architectures. The repository is often used as a teaching tool to highlight anti-patterns...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Compliant and Reliable File Transfers Backed by Top Security Certifications Icon
    Compliant and Reliable File Transfers Backed by Top Security Certifications

    Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.

    Stop 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.
    Start Free Trial
  • 10
    XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
    Downloads: 2 This Week
    Last Update:
    See Project
  • 11
    Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
    Leader badge
    Downloads: 38 This Week
    Last Update:
    See Project
  • 12
    RedtDec

    RedtDec

    RetDec is a retargetable machine-code decompiler based on LLVM

    The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs,...
    Downloads: 42 This Week
    Last Update:
    See Project
  • 13
    OK

    OK

    Welcome to the future of programming languages

    OK? is a modern, dynamically typed programming language created with a strong opinion: to remove needless complexity and help programmers write code that matters. It eliminates many common language features (e.g., ternary operators) in favour of a consistent, minimal syntax: for example it uses only switch statements for control flow and has only one comparison operator. OK?
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Smallest possible

    Smallest possible

    Smallest possible syntactically valid files of different types

    Smallest possible is a curated repository whose aim is somewhat playful yet useful: collecting the “smallest possible syntactically valid files” across a large variety of programming, scripting, markup, and binary file types. For example, the repository might include the minimal valid HTML file, minimal valid PDF, minimal valid executable, minimal valid image file, and so on. It serves both as a curiosity and as a utility for developers and testers who might need tiny stub files for testing...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    DuranDuranbot

    Teachable/trainable artificially intelligent music bot

    ...Called, "bit by bit circular composition"....... and it's explanation can be found here - https://scsynth.org/t/bit-by-bit-circular-composition/1107 This program is written in the SuperCollider programming language - https://en.wikipedia.org/wiki/SuperCollider Contact - ken_brant@ymail.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Julia.jl

    Julia.jl

    Curated decibans of Julia programming language

    Julia.jl is a curated collection of knowledge resources for the Julia programming language, designed to support high-performance numerical analysis and computational science. The repository aggregates diverse content across domains such as mathematics, physics, data science, optimization, machine learning, and supercomputing. It functions as a structured index, helping developers, researchers, and learners easily find materials to deepen their understanding of Julia’s ecosystem. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 17
    X11-Basic

    X11-Basic

    A BASIC interpreter and compiler with graphics.

    X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers.
    Leader badge
    Downloads: 30 This Week
    Last Update:
    See Project
  • 18
    SWLPC is both a stand alone scripting (interpreted) language and MUD programming language derived from LPC.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    next-scripting

    next-scripting

    Next Scripting Framework (NSF)

    ...NSF ships with 3 fully scripted language definitions, containing XOTcl 2 and the Next Scripting language NX. NX is a highly flexible and object-oriented scripting language. It is a descendant of XOTcl and was designed based on 10 years of experience with XOTcl in projects containing several hundred thousand lines of code. While XOTcl was the first language designed to provide language support for design patterns, NX adds language-oriented programming and higher safety.
    Leader badge
    Downloads: 51 This Week
    Last Update:
    See Project
  • 20
    AdaControl

    AdaControl

    Ada source code controller

    A tool that detects the use of many constructs in Ada programs. Use it to control style or programming rules, but also as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 21
    the-way-to-go_ZH_CN

    the-way-to-go_ZH_CN

    The Chinese translation of "The Way to Go" Guide

    the-way-to-go_ZH_CN is the Chinese translation of the Go programming book The Way to Go, known as (“Go Introduction Guide”). The translator, along with a team of contributors, created this project to make a high-quality Go learning resource accessible to Chinese readers who might struggle with English-language books. The README explains that the original author, Ivo Balbaert, granted authorization for the translation and even for updating certain content to match newer Go versions. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    starboard-notebook

    starboard-notebook

    In-browser literate notebooks

    starboard-notebook is an in-browser literate notebook runtime that enables users to write, edit, and interact with computational documents directly in the browser without needing a traditional backend notebook server. The project is built around an innovative runtime that interprets code cells and markdown in a way that feels fluid and interactive, often bridging concepts from classical notebook tools with modern web technologies. Starboard notebooks support multiple languages, and the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    go-fundamental-programming

    go-fundamental-programming

    Set of video and voice tutorials for the Go language

    go-fundamental-programming is the code and notes repository for the Chinese video course, a foundational Go programming tutorial aimed at beginners. The author positions it explicitly as a way to share the knowledge and pitfalls accumulated while learning Go, so that new learners can avoid common mistakes and weird corner cases. The course is delivered as a series of lectures, and each lecture has a dedicated lectureX.md file that serves as classroom notes, listing the knowledge points...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24

    Java Bindings

    Java bindings for the Wheefun Options Parsing Library

    This project contains bindings for the Java Programming Language to the Wheefun Options Parsing Library. It is meant to provide parity with the C implementation so JVM languages can take advantage of WFOPT. Fore more information, please see the main page.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
    Leader badge
    Downloads: 41 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB