Search Results for "programming languages"
Sort By:
259 projects for "programming languages" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You 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.
-
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
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. The list emphasizes... -
2
Python
The Python programming language
Python is a powerful, high-level programming language known for its readability, simplicity, and versatility. It supports multiple programming paradigms including procedural, object-oriented, and functional styles. CPython, the reference implementation, is developed and maintained by the Python Software Foundation and the global open-source community. The language includes a vast standard library that accelerates development by providing built-in modules for file handling, networking, data manipulation, and more. ... -
3
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to... -
4
Libros de Programación en Español
List of programming books in Spanish for free
Libros de Programación en Español is a curated list of free programming books in Spanish, organized by topic and technology so learners can find high-quality materials without cost. The README is structured as an index with general programming books, followed by sections for specific languages such as JavaScript, TypeScript, Python, Ruby, Rust, PHP, Haskell, Go, Kotlin, Java, and R.Each entry includes the book title, author, and a link to the official or legal free version (PDF, HTML, eBook, etc.), focusing on resources that are legitimately available. ... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
Vercel Zero
The programming language for agents
Zero is an experimental programming language from Vercel Labs designed with AI agents as first-class users. The project explores what a language, tooling system, and standard library might look like if agents need to read, debug, repair, and ship code reliably. It focuses on a small and regular language surface, structured diagnostics, predictable tooling, and machine-readable outputs. Zero is still pre-1 and intentionally unstable, so its syntax and APIs are meant for exploration rather... -
6
AssemblyScript
A TypeScript-like language for WebAssembly
...Its design bridges the gap between high-level scripting and low-level execution, allowing developers to achieve near-native performance without switching to languages like C or Rust. AssemblyScript integrates with the WebAssembly ecosystem, enabling seamless interaction with JavaScript through standard APIs. It is widely used in scenarios where performance and portability are essential, such as gaming, data processing, and edge computing. -
7
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. -
8
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... -
9
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... -
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
10
Basic Computer Games
An updated version of the classic "Basic Computer Games" book
Basic Computer Games is a modern revitalization of the classic “Basic Computer Games” book’s collection of games, ported and expanded into various modern, memory-safe and scripting languages. It includes illustrative code examples of many classic games (e.g. Blackjack, Bowling) in multiple languages, with the goal of making the historical games accessible and educational in safe modern environments. Definitely use the most recent versions and features of the target language, but also try to keep the code samples simple and explainable – the goal is to teach programming in the target language, not necessarily demonstrate the cleverest one-line tricks, or big system "enterprise" coding techniques designed for thousands of lines of code. -
11
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. The Go-based interpreter allows developers to run or embed Starlark programs... -
12
One Dark Pro
Atom's iconic One Dark theme for Visual Studio Code
...It focuses on readability and aesthetics, using a carefully selected color palette that reduces eye strain while maintaining strong contrast between code elements. The theme supports a wide range of programming languages, ensuring consistent syntax highlighting across different file types. It also integrates seamlessly with VS Code features, enhancing the overall developer experience. The design emphasizes clarity, making it easier to navigate and understand complex codebases. It is widely adopted due to its balance between style and functionality. ... -
13
sectorlisp
Bootstrapping LISP in a Boot Sector
...The codebase is compact and efficient, showcasing techniques for writing minimal yet functional software. It is often used as a learning tool for understanding interpreters, compilers, and language design. By emphasizing minimalism, it provides insight into how programming languages can be built from first principles. Overall, sectorlisp is a powerful demonstration of simplicity and efficiency in language design. -
14
SWIG
A code generator for connecting C/C++ with other programming languages
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. SWIG is used with different types of target languages including common scripting languages such as Javascript, Perl, PHP, Python, Tcl and Ruby. The list of supported languages also includes non-scripting languages such as C#, D, Go language, Java, Lua, OCaml, Octave, R and Scilab as well as the Guile implementation of the Scheme language. ... -
15
Programming Language ADP
ADP is a script language designed for Web database prgramming.
ADP (Another Data Processor) is a programing language that is designed for Web database programing. It is a scripting language and a lightweight programming language in which it is possible to mix SQL easily. It is easy to install. ADP is base on Prolog. But ADP uses only the backtrack and unification. The syntax is original and likes a another scripting language, supports method call. -
16
Google Style Guides
Style guides for Google-originated open source projects
Google Styleguide is a comprehensive collection of coding style guides created and maintained by Google to ensure consistency, readability, and maintainability across its vast array of software projects. These guides define best practices and conventions for writing code in multiple programming languages, from C++ and Python to JavaScript, Go, and Swift. By adhering to these standards, developers can more easily collaborate, review code, and maintain high-quality software across teams and open source contributions. Each guide covers a wide range of topics, including naming conventions, file organization, indentation, documentation, and usage of specific language features. ... -
17
Proxy
Proxy: Next Generation Polymorphism in C++
For decades, object-based virtual tables have been a de facto implementation of runtime polymorphism in many (compiled) programming languages. There are many drawbacks in this mechanism, including life management (because each object may have a different size and ownership) and reflection (because it is hard to balance between usability and memory allocation). To workaround these drawbacks, some languages like Java or C# choose to sacrifice performance by introducing GC to facilitate lifetime management, and JIT-compile the source code at runtime to generate full metadata. ... -
18
Awesome Network Analysis
A curated list of awesome network analysis resources
awesome-network-analysis is a curated list of resources focused on network and graph analysis, including libraries, frameworks, visualization tools, datasets, and academic papers. It covers multiple programming languages and domains like sociology, biology, and computer science. This repository serves as a central reference for researchers, analysts, and developers working with network data. -
19
Xi Programming Language
A general-purpose, mutliparadigm language.
Xi is a programming language which attempts to play a similar role to languages such as C, C++, or D. It is initially designed to leverage the procedural and object-oriented paradigms. It aims to provide an expressive language based off of a simple, LL(1) grammar with a comprehensive class library. -
20
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
21
SDK .NET
Temporal .NET SDK
Temporal is a distributed, scalable, durable, and highly available orchestration engine used to execute asynchronous, long-running business logic in a scalable and resilient way. "Temporal .NET SDK" is the framework for authoring workflows and activities using .NET programming languages. -
22
Watlings
Learn WebAssembly by writing small programs
...The platform runs entirely in the browser, allowing users to experiment with WAT code and see immediate results without installing any tools. It is particularly useful for developers who want to understand how high-level languages compile down to WebAssembly or who are interested in systems-level programming concepts. -
23
mo - Monads
Monads and popular FP abstractions, powered by Go 1.18+ Generics
...It is particularly useful for managing nullable values, error propagation, asynchronous workflows, and functional pipelines in a predictable way. The design draws inspiration from languages like Scala, Rust, and TypeScript FP libraries, making it familiar to developers with functional backgrounds. Overall, samber/mo enables a more declarative and expressive programming style in Go while remaining lightweight and dependency-free. -
24
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 types not natively representable (e.g., dates, sets). ... -
25
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...
