Search Results for "flora-2"
Sort By:
Showing 297 open source projects for "flora-2"
View related business solutions-
Ship AI Apps Faster with Vertex AIShip AI apps and features faster with Vertex AI—your end-to-end AI platform. Access Gemini 3 and 200+ foundation models, fine-tune for your needs, and deploy with enterprise-grade MLOps. Build chatbots, agents, or custom models. New customers get $300 in free credit.
-
99.99% Uptime for MySQL and PostgreSQL on Google CloudCloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
-
1
Scala 2
Scala 2 compiler and standard library
Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. You can use any published library. You can save and... -
2
Idris 2
A purely functional programming language with first class types
...This means types can be passed as arguments to functions, and returned from functions just like any other value, such as numbers, strings, or lists. This is a small but powerful idea, enabling relationships to be expressed between values; for example, that two lists have the same length. Assumptions to be made explicit and checked by the compiler. For example, if you assume that a list is non-empty, Idris can ensure this assumption always holds before the program is run. -
3
tmux
tmux is a terminal multiplexer
tmux is a terminal multiplexer: it enables a number of terminals to be created, accessed, and controlled from a single screen. tmux may be detached from a screen and continue running in the background, then later reattached. This release runs on OpenBSD, FreeBSD, NetBSD, Linux, OS X and Solaris. tmux depends on libevent 2.x, and on ncurses. To build tmux, a C compiler (for example gcc or clang), make, pkg-config and a suitable yacc (yacc or bison) are needed. Some platforms provide binary packages for tmux. -
4
Glslang
Khronos-reference front end for GLSL/ESSL, partial front end for HLSL
...Those binaries are automatically uploaded by the build bots after successful testing and they always reflect the current top of the tree of the master branch. Right now, there are two test harnesses existing in glslang: one is Google Test, one is the runtests script. The former runs unit tests and single-shader single-threaded integration tests, while the latter runs multiple-shader linking tests and multi-threaded tests. Test results should always be included with a pull request that modifies functionality. -
Run Any Workload on Compute Engine VMsCompute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
-
5
OCaml
The core OCaml system: compilers, runtime system, base libraries
...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, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. ... -
6
BSC
Bluespec Compiler (BSC)
BSC is the open source compiler toolchain for Bluespec SystemVerilog, a high-level, rule-based hardware design language. It translates Bluespec descriptions into synthesizable Verilog, letting developers bring typed, modular abstractions into mainstream FPGA/ASIC flows. The compiler performs scheduling of atomic rules, elaborates parameterized modules, and enforces interface contracts, producing predictable RTL that integrates with existing EDA tools. A companion simulator enables fast... -
7
Remix Project
Compiler and IDE that enables users to build Ethereum contracts
...Remix IDE is used for the entire journey of contract development by users of any knowledge level. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. The IDE comes in 2 flavors and a VSCode extension. Supported browsers: Firefox v100.0.1 & Chrome v101.0.4951.64. No support for Remix's use on tablets or smartphones or telephones. The gh-pages branch of remix-live always has the latest stable build of Remix. It contains a ZIP file with the entire build. Download it to use offline. It contains the latest supported version of Solidity available at the time of the packaging. ... -
8
Hy
A dialect of Lisp that's embedded in Python
Hy is a multi-paradigm general-purpose programming language in the Lisp family. It’s implemented as a kind of alternative syntax for Python. Compared to Python, Hy offers a variety of extra features, generalizations, and syntactic simplifications, as would be expected of a Lisp. Compared to other Lisps, Hy provides direct access to Python’s built-ins and third-party Python libraries, while allowing you to freely mix imperative, functional, and object-oriented styles of programming. The first... -
9
ispc
Intel SPMD Program Compiler
ispc is a compiler for a variant of the C programming language, with extensions for single programs, and multiple data programming. Under the SPMD model, the programmer writes a program that generally appears to be a regular serial program, though the execution model is actually that a number of program instances execute in parallel on the hardware. ispc compiles a C-based SPMD programming language to run on the SIMD units of CPUs and GPUs; it frequently provides a 3x or more speedup on... -
Easily Host LLMs and Web Apps on Cloud RunRun frontend and backend services, batch jobs, host LLMs, and queue processing workloads without the need to manage infrastructure. Cloud Run gives you on-demand GPU access for hosting LLMs and running real-time AI—with 5-second cold starts and automatic scale-to-zero so you only pay for actual usage. New customers get $300 in free credit to start.
-
10
context3
Experimental programming language and compiler
Experimental programming language and compiler based on Context 2.x (http://avhohlov.narod.ru/p9810en.htm). The first goal are implementation of references to arrays (http://avhohlov.narod.ru/p9820en.htm). -
11
...We have added new capabilities that make GCBASIC the easiest tool set available - supporting over 1400 microcontrollers with tools to make this fun and simple. Please see the download section for your options. We have two IDEs, we have just the compiler and we have a minimal install - it is your choice. Please see the homepage here: https://gcbasic.com
-
12
HAC Ada Compiler
HAC Ada Compiler - small Ada compiler fully in Ada
HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. More information on: http://hacadacompiler.sf.net For an editor integrated with HAC, check LEA: https://l-e-a.sf.net/ Pre-built binary for Windows: https://sf.net/projects/hacadacompiler/files/hac-2024-03-21-v.0.30-bin-win64.zip Alire crate: https://alire.ada.dev/crates/hac Mirror:... -
13
-
14
AQ
AQ is an interpreted programming language. It is fast, small, simple a
AQ is a fast, small, simple and safe interpreted programming language. It may be a great work. -
15
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
16
jd-gui-duo
A 2-in-1 JAVA decompiler based on JD-CORE v0 and v1 supporting 3rd par
-
17
Oberon V4
Oberon V4 for Linux and sources for different Oberon V4 implementation
...The Oberon mailing list[3] is an established channel for its discussion and followed also by the administrators of this SF project. [1] ftp://ftp.ethoberon.ethz.ch/Oberon/OberonV4/ [2] ftp://oberon.ssw.uni-linz.ac.at/pub/Oberon/ [3] https://lists.inf.ethz.ch/mailman/listinfo/oberon -
18
M.O.R.T.A.L.
The M.O.R.T.A.L. programming language
M.O.R.T.A.L. is a new general-purpose programming language now under development. It is meant to take the best features of multiple paradigms and combine them all into a single, easy-to-use language, suitable for professionals and hobbyists alike. (The basic OOP paradigm, with metaprogramming features, will be implemented first.) Its primary goal is to allow very heavy computations to be performed efficiently and easily, even by scientists from other fields than computer science. For... -
19
ALCHA
A New Programming Language for FPGA Projects
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting. -
20
CUPL IDE
An IDE for CUPL
... * "CPLD LITE v24.11" project for the CPLD LITE v23.11 development board based on ATF1504 CPLD. * "ATF1504HwSw" hardware/software project for development board based on ATF1504 CPLD. =================== The CUPL IDE two new views: * "Layout" view to the left containing device layout * "Symbols" view to the bottom containing symbols of the device. -
21
Cobxref
Cobol Cross reference tool for GnuCobol written in Cobol
CobXRef is a Cobol cross reference tool that reads a Cobol source program and produces a file suitable for printing 'as is' that contains all variables, procedure paragraphs and section names referenced where they are defined as well as where they are used throughout the program or module as well as lists of unreferenced data names and paragraph & section names. it is used as a stand alone program. This version includes the code from printcbl which takes in the copy books when used by... -
22
Modcomp XPL Compiler
XPL Compiler for the Modcomp III/IV and Classic
This is a self compiling XPL compiler for the Modcomp III/IV and Classic. The XPL language is described in the book "A Compiler Generator" by McKeeman, Horning and Wortman. This project has two compilers. The first was written in the late 1970's and released to the Modcomp Users Group (MUSE). The second compiler is an extension of the first that includes a Common Sub-Expression optimizer. XPL was used to write the HAL/S compiler for NASA about the same time this XPL compiler was being developed but this is not the compiler used to create HAL/S. ... -
23
OpenPEARL
PEARL Compiler and Runtime System
...For more, also historical information please visit (http://www.pearl90.de/). In 1998 PEARL-90 was standardized by the Deutsches Institut für Normung e.V. in DIN 66253-2. PEARL provides the standard data types and structures known from other procedural languages like e.g. PASCAL. Additionally PEARL brings special language constructs for managing real-time and multitasking tasks. -
24
XSharpDev
XSharp Repository for the Compiler source code
...The preferred edition is Enterprise. Make sure you have Java JDK on your machine and that you have the Java binaries folder in your Path. If you do not have Vs 2019 Enterprise you can set 2 environment variables to the VS version and edition you have installed. -
25
open-watcom
Open Watcom C/C++ compilers and tools Fork
C/C++ compilers and tools to compile and build for targets DOS 16/32-bit, RDOS, Windows 16/32-bit, OS/2 16/32 bit, Linux 32-bit (x86), Netware running on host OS DOS, Windows 16/32/64-bit, OS/2, Linux 32/64-bit (x86/x64) Open Watcom is now completely moved to GitHub Open Watcom 2.0 https://github.com/open-watcom/open-watcom-v2#open-watcom-v2-fork Open Watcom 1.9 https://github.com/open-watcom/open-watcom-1.9
