Search Results for "v2ray-core"
Sort By:
Showing 41 open source projects for "v2ray-core"
View related business solutions-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
1
ILSpy
.NET Decompiler with support for PDB generation, ReadyToRun, Metadata
...Please see the About doc for details, as well as third-party notices for included open-source libraries. Visual Studio 16.3 and later include a version of the .NET (Core) SDK that is managed by the Visual Studio installer - once you update, it may get upgraded too. Please note that ILSpy is only compatible with the .NET 6.0 SDK and Visual Studio will refuse to load some projects in the solution. -
2
reko
Reko is a binary decompiler
Reko (Swedish: "decent, obliging") is a decompiler for machine code binaries. This project is freely available under the GNU General Public License. The project consists of front ends, core decompiler engine, and back ends to help it achieve its goals. A command line, a Windows GUI, and a ASP.NET front end exist at the time of writing. The decompiler engine receives inputs from the front ends in the form of either individual executable files or decompiler project files. Reko project files contain additional information about a binary file, helpful to the decompilation process or for formatting the output. ... -
3
Smaller C
Simple C compiler
...(You may use YASM or FASM instead of NASM) Code generation for MIPS CPUs is also supported (primarily for RetroBSD). The compiler is capable of compiling itself. The core compiler comes with a preprocessor (ucpp), a linker, and a compiler driver (the driver invokes the preprocessor, the core compiler, the assembler, and the linker and supports options similar to those of gcc). -
4
koka
Koka language compiler and interpreter
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. ... -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
Dotty
The scala 3 compiler, also known as Dotty
The exciting new version of Scala 3 brings many improvements and new features. Scala 3 is a complete overhaul of the Scala language. At its core, many aspects of the type-system have been changed to be more principled. While this also brings exciting new features along (like union types), first and foremost, it means that the type-system gets (even) less in your way and for instance type-inference and overload resolution are much improved. One underlying core concept of Scala was (and still is to some degree) to provide users with a small set of powerful features that can be combined to great (and sometimes even unforeseen) expressivity. ... -
6
Teal
The compiler for Teal, a typed dialect of Lua
This is the repository of tl, the compiler for Teal, a typed dialect of Lua. The core compiler has no dependencies and is implemented as a single tl. lua file which you can load into your projects. Running tl. loader() will add Teal support to your package loader, meaning that require() will be able to run .tl files. Alternatively, you can find pre-compiled binaries for Linux x86_64 and Windows x86_64 at the releases page. -
7
LFortran
Official main repository for LFortran
...It can execute the user’s code interactively to allow exploratory work (much like Python, MATLAB or Julia) as well as compile binaries with the goal of running the user’s code on modern architectures such as multi-core CPUs and GPUs. LFortran is in alpha (it is expected to not work on third-party codes and users enthusiastically participate in bug reporting and fixing). -
8
OCaml
The core OCaml system: compilers, runtime system, base libraries
OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small,... -
9
Fable
F# to JavaScript compiler
...Use NPM packages. The entire JavaScript ecosystem is at your fingertips. Choose your favorite tool, from Visual Studio Code to JetBrains Rider. Fable supports the F# core library and some common .NET libraries to supplement the JavaScript ecosystem. These are some of the main F# features that you can use in your web apps with Fable. There's a lot of code involving continuations out there, like asynchronous or indeterministic operations. Other languages bake specific solutions into the syntax, with F# you can use built-in computation expressions and also extend them yourself. ... -
Full-stack observability with actually useful AI | 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
Gleam
A friendly language for building type-safe, scalable systems!
Gleam's powerful static type system helps find and prevent bugs at compile time, long before it reaches your users. It also serves as a productive refactoring tool, enabling programmers to confidently make large changes to unfamiliar code, quickly and with low risk. For problems, the type system can't solve (such as your server being hit by a bolt of lightning) the Erlang virtual machine provides well-tested mechanisms for gracefully handling failure. Hunting down bugs can be stressful so... -
11
Fully Homomorphic Encryption
An FHE compiler for C++
This repository gathers Google’s practical tooling for Fully Homomorphic Encryption (FHE), focused on making it possible to run computations on encrypted data without ever decrypting it. At its core is a “transpiler” that converts ordinary functions (typically written in a restricted subset of C++ or similar) into FHE circuits, plus backends that execute those circuits with different FHE libraries. The workflow usually mirrors normal software development: write and test a cleartext implementation, run a simulator to validate logic and performance characteristics, then compile to an encrypted form to run with real FHE parameters. ... -
12
Vector Pascal is a language targeted at SIMD multi-core instruction-sets such as the AVX and SSE2 or x86-64-v3. It has a SIMD compiler which supports parallel vector operations, loop unrolling, common sub expression removal etc. It is implemented in Java.
-
13
4tH compiler
A Forth compiler with a little difference
...Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, BASIC interpreter, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment. -
14
jd-gui-duo
A 2-in-1 JAVA decompiler based on JD-CORE v0 and v1 supporting 3rd par
-
15
CSharp.lua
The C# to Lua compiler
The C# to Lua compiler. CSharp.lua is a C# to Lua compiler. Write C# then run on lua VM. -
16
Dyalect
Dyalect is a programming language for .NET Core
Dyalect is a dynamic programming language for .NET Core platform. It is lightweight, fast and modern. Dyalect (or Dy for short) is written in C# and has zero dependencies except for standard .NET Core libraries, which means that it can seamlessly run on Windows, MacOS and Linux. Moreover you can use the same binaries on any of these platforms! Dy runs on the top of its own high performance virtual machine. -
17
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. Interoperability with the JavaScript world is provided through a foreign-function interface, allowing Haskell code to call browser APIs or Node modules and to be called back from JS. The ecosystem includes packages tailored to GHCJS (for example DOM bindings and FRP libraries), enabling full single-page apps written in Haskell. ... -
18
Asterius
A Haskell to WebAssembly compiler
...It builds on GHC, lowers Haskell code to WebAssembly modules, and links them with a lightweight JavaScript runtime for I/O, GC interaction, and host integration. The toolchain provides commands to build and link (ahc/ahc-link), bundle assets, and target both browser and Node environments. Interop is a core focus: Haskell functions can call into JavaScript and vice versa, making it feasible to combine Haskell logic with web APIs. Asterius aims to keep as much of Haskell’s runtime model as practical while delivering the portability and startup characteristics of Wasm. By bridging GHC and WebAssembly, it opens a path to reuse Haskell libraries on the client side without switching languages. -
19
MANOOL
Programming language with expressive power and a simple implementation
MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello, world!"]} ... -
20
8cc C Compiler
Compiler for the C programming language
...It was created as a hobby project with the goal of demonstrating how a compiler works internally, making it a valuable resource for learning compiler design. The project includes core components such as a lexer, parser, and preprocessor, allowing users to explore each stage of the compilation process. One of its notable features is its ability to compile itself, showcasing its completeness and serving as a practical example of bootstrapping in compiler development. The code is intentionally written to be concise and readable, making it accessible to developers who want to study compiler internals. ... -
21
9cc C compiler
A Small C Compiler
9cc is a small and educational C compiler designed to demonstrate the internal workings of a compiler while still being capable of compiling meaningful programs. It serves as a continuation of Rui Ueyama’s series of compiler projects, focusing on clarity and incremental development rather than production-level optimization. The compiler implements essential stages such as lexical analysis, parsing, semantic analysis, and code generation, providing a complete pipeline from source code to... -
22
Freematics Arduino Builder
Self-contained tool for compiling and uploading Arduino sketches
Freematics Arduino Builder is a fully standalone utility for viewing, compiling, configuring and uploading Arduino sketch or pre-compiled binary to Arduino board without need for any development environment setup. It currently supports AVR, ESP8266 and ESP32. -
23
X10
Performance and Productivity at Scale
...With these, APGAS can express both regular and irregular parallelism, message-passing-style and active-message-style computations, fork-join and bulk-synchronous parallelism. Both its modern, type-safe sequential core and simple programming model for concurrency and distribution contribute to making X10 a high-productivity language in the HPC and Big Data spaces. User productivity is further enhanced by providing tools such as an Eclipse-based IDE (X10DT). Implementations of X10 are available for a wide variety of hardware and software platforms ranging from laptops, to commodity clusters, to supercomputers. -
24
SPar: Stream Parallelism in Multi-Cores
An Embedded C++ Domain-Specific Language
SPar is an internal C++ Domain-Specific Language (DSL) suitable to model and implement classical stream parallel patterns. The DSL uses standard C++ attributes to introduce annotations tagging the notable components of stream parallel applications: stream sources and stream processing stages. Latest version can be downloaded from the SVN using the following command: svn checkout svn://svn.code.sf.net/p/spar-dsl-compiler/svn/ spar -
25
Grumpy
Grumpy is a Python to Go source code transcompiler and runtime
...The approach integrates with Go’s toolchain, enabling static binaries and potentially easier distribution in environments where Go is already standard. Its runtime implements core Python object and execution models, though the API is not compatible with CPython’s C-API, and extension coverage is incomplete compared to CPython. Grumpy was ultimately archived and is read-only, but the repository remains a valuable reference on alternative Python execution strategies and the trade-offs of VM-less designs. Documentation in the repo and wiki outline architecture, limitations, and examples of compiled output.
