Search Results for "forth"
Sort By:
Showing 152 open source projects for "forth"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Build Securely on AWS with Proven FrameworksMoving 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.
-
1
WRVM
A weakly reversible Forth for Linux (Intel) platforms
A weakly reversible Forth virtual machine supporting backtracking and related features, Used to support research into the semantics and programming structures of weakly reversible languages. -
2
Cython
The most widely used Python to C compiler
Cython is an optimizing static compiler for both the Python programming language and the extended Cython programming language (based on Pyrex). It makes writing C extensions for Python as easy as Python itself. Write Python code that calls back and forth from and to C or C++ code natively at any point. Easily tune readable Python code into plain C performance by adding static type declarations, also in Python syntax. Use combined source code level debugging to find bugs in your Python, Cython, and C code. Interact efficiently with large data sets, e.g. using multi-dimensional NumPy arrays. ... -
3
DrawDB
Free, simple, and intuitive online database diagram editor
...The editor supports conveniences like snapping, alignment guides, column type presets, and notes to capture design intent. By centering schema modeling in a fast, approachable UI, drawDB reduces the back-and-forth between whiteboards, spreadsheets, and handwritten SQL. -
4
Distributed Transactions Manager
A distributed transaction framework that supports multiple languages
...Developers no longer worry about suspension, null compensation, idempotent transaction, and other tricky problems, the framework layer handles them all. Suitable for companies with the multi-language stack. Easy for go, python, php, nodejs, ruby and so forth. The only external dependence is the database server, easy to deploy, cluster, and scale horizontally. Supports TCC, SAGA, XA, and transaction messages. DTM is a distributed transaction framework that provides cross-service eventual data consistency. It provides saga, tcc, xa, 2-phase message, and outbox patterns for a variety of application scenarios. ... -
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.
-
5
ConnectBot
ConnectBot is the first SSH client for Android
ConnectBot is a secure shell client for the Android platform. Its ultimate goal is to create a secure connection through which you can use a shell on a remote machine and transfer files back and forth to your phone. ConnectBot is a powerful open source SSH (Secure Shell) client. It can handle several simultaneous sessions, create secure connections in tunnel mode and allows Copy/Paste from other applications. This client allows you to connect to SSH (Secure Shell) servers that typically include UNIX-based servers. -
6
-
7
Flipper
A desktop debugging platform for mobile developers
...In addition to using the tools already included, you can create your own plugins to visualize and debug data from your mobile apps. Flipper takes care of sending data back and forth, calling functions, and listening for events on the mobile app. Both Flipper's desktop app and native mobile SDKs are open-source and MIT licensed. This enables you to see and understand how we are building plugins, and of course join the community and help improve Flipper. We are excited to see what you will build on this platform. -
8
Mecrisp-Stellaris Unofficial User Doc
Forth documentation: embedded Arm Cortex-M STM32xx microprocessors
Unofficial user documentation for the Mecrisp-Stellaris Forth programming language on ARM Cortex-M microprocessors. Includes a index, search function, projects, pictures and Youtube video links. This Documentation is designed for Forth Beginners. -
9
roaring
Roaring bitmaps in Go (golang)
...The Java, C, C++ and Go version are binary compatible: e.g, you can save bitmaps from a Java program and load them back in Go, and vice versa. We have a format specification. Sets are a fundamental abstraction in software. They can be implemented in various ways, as hash sets, as trees, and so forth. In databases and search engines, sets are often an integral part of indexes. For example, we may need to maintain a set of all documents or rows (represented by numerical identifiers) that satisfy some property. Besides adding or removing elements from the set, we need fast functions to compute the intersection, the union, the difference between sets, and so on. ... -
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.
-
10
glslViewer
Console-based GLSL Sandbox for 2D/3D shaders shaders
GlslViewer is a flexible console-based OpenGL Sandbox to display 2D/3D GLSL shaders without the need of a UI. You can definitely make your own UI or wrapper using the Python Module (include) or any other tool that communicates back/forth with the GPS viewer through the standard POSIX console In/Out or OSC. Default vert/frag shaders for 2D shader and 3D material shaders with PBR lighting model. Hot reload of files on changes. One default light and one default camera. Interactive commands thought POSIX console IN/OUT or OSC. Different debug modes (histogram, textures, buffers, bounding box, etc). ... -
11
Etherpad
A real-time collaborative document editor for the web
Etherpad is a highly customizable online document editor that allows for collaborative editing in real-time by up to thousands of real-time users. With Etherpad, you don’t have to send documents back and forth-- simply set it up, share the link and collaborate with co-workers, fellow students, or friends on just about any written document! Etherpad provides all-access to data through a well-documented API and provides support for data export/import capabilities. It’s got an awesome set of features, including spell check, authorship colors, font styles, and more, and if these aren’t enough for you, there are plenty of plugins you can add to customize your experience. -
12
ggstatsplot
Enhancing {ggplot2} plots with statistical analysis
...In a typical exploratory data analysis workflow, data visualization and statistical modeling are two different phases: visualization informs modeling, and modeling in its turn can suggest a different visualization method, and so on and so forth. Bayesian hypothesis-testing. The central idea of {ggstatsplot} is simple: combine these two phases into one in the form of graphics with statistical details, which makes data exploration simpler and faster. Summary of statistical tests and effect sizes. -
13
gts
TypeScript style guide, formatter, and linter
...Just run gts fix and say goodbye to messy or inconsistent code. Catch style issues & programmer errors early. Save precious code review time by eliminating back-and-forth between reviewer & contributor. Opinionated, but not to a fault. We recommend you use the default configuration, but if you need to customize compiler or linter config, you can. Under the covers, we use eslint to enforce the style guide and provide automated fixes, and prettier to re-format code. -
14
Airtest
UI Automation Framework for Games and Apps
¿Airtest provides cross-platform APIs, including app installation, simulated input, assertion and so forth. Airtest uses image recognition technology to locate UI elements so that you can automate games and apps without injecting any code. Airtest cases can be easily run on large device farms, using the command line or python API. HTML reports with detailed info and screen recording allow you to quickly locate failure points. NetEase builds Airlab on top of the Airtest Project. ... -
15
Mecrisp - A family of optimising native code Forth implementations for MSP430, ARM Cortex M, RISC-V RV32IM(C), MIPS M4K and FPGAs.
-
16
JavaScript Standard Style
JavaScript style guide, linter, and formatter
...It’s the simple, easy, fuss-free way to get a consistent style in your project. No more hundred-line style configuration files for every module/project; no more messy or inconsistent code; and no more wasting time sending code back and forth between reviewer and contributor. With Standard, your code is automatically formatted, no configuration necessary. With Standard, code clarity and community conventions is paramount. This may not make sense to all projects or development cultures, but does make a lot of sense for open source projects where setting up clear, automated contributor expectations makes a project healthier. -
17
Convex.jl
A Julia package for disciplined convex programming
...Convex.jl makes it easy to describe optimization problems in a natural, mathematical syntax, and to solve those problems using a variety of different (commercial and open-source) solvers. Convex.jl works by transforming the problem—which possibly has nonsmooth, nonlinear constructions like the nuclear norm, the log determinant, and so forth—into a linear optimization problem subject to conic constraints. This reformulation often involves adding auxiliary variables and is called an "extended formulation", since the original problem has been extended with additional variables. These formulations rely on the problem being modeled by combining Convex.jl's "atoms" or primitives according to certain rules which ensure convexity, called the disciplined convex programming (DCP) ruleset. ... -
18
Min3rd
From a small kernel in C, bootstrapping into a complete Forth compiler
Min3rd Core Forth is a complete Forth interpreter and compiler which builds itself from scratch via a bootstrapping process starting with a small C kernel. It successfully runs the standard Forth-2012 test suite. Min3rd's internal structure is straightforward and well documented, making it a great model for your own applications or Forth variants. -
19
pmd
An extensible multilanguage static code analyzer
PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation, and so forth. It supports Java, JavaScript, Salesforce.com Apex and Visualforce, PLSQL, Apache Velocity, XML, and XSL. Additionally, it includes CPD, the copy-paste-detector. CPD finds duplicated code in Java, C, C++, C#, Groovy, PHP, Ruby, Fortran, JavaScript, PLSQL, Apache Velocity, Scala, Objective C, Matlab, Python, Go, Swift and Salesforce.com Apex, and Visualforce. ... -
20
Mithril.js
A JavaScript framework for building brilliant applications
Mithril is a modern client-side JavaScript framework for building Single Page Applications. It's small (< 10kb gzip), fast and provides routing and XHR utilities out of the box. Mithril is used by companies like Vimeo and Nike, and open source platforms like Lichess. Mithril supports IE11, Firefox ESR, and the last two versions of Firefox, Edge, Safari, and Chrome. No polyfills required. By default, Mithril views are described using hyperscript. Hyperscript offers a terse syntax that can be... -
21
Fun Audio Chat
Large Audio Language Model built for natural interactions
Fun Audio Chat is an interactive voice-first conversational AI platform designed to let users engage in natural spoken dialogue with large language models in real time, turning speech into context-aware responses while maintaining a smooth back-and-forth experience. It combines speech recognition, audio processing, and AI generation so users can speak simply and receive spoken replies, enabling applications such as virtual assistants, voice bots, and hands-free chat interfaces. The system supports dynamic audio input and output, meaning it can handle different voices, tones, and conversational contexts without forcing users into typed interactions. ... -
22
Data Formulator
Create rich visualizations with AI
To create rich visualizations, data analysts often need to iterate back and forth among data processing and chart specification to achieve their goals. To achieve this, analysts need not only proficiency in data transformation and visualization tools but also efforts to manage the branching history consisting of many different versions of data and charts. Recent LLM-powered AI systems have greatly improved visualization authoring experiences, for example by mitigating manual data transformation barriers via LLMs' code generation ability. ... -
23
WinForth64
64-bit Forth system for Windows
64 bit Forth system for Windows. Forth kernel is written from scratch in C/C++/Assembler. The Forth system is written in Forth and bootsrapped on the fly from source code. It provides full support of native api, callbacks and native threads. The system is the result of the idea to create modern Forth that can be used to solve different programming tasks. -
24
Arcan
Powerful development framework for creating virtually anything
...For the main engine there has been quite some refactoring to reduce input latency; better accommodate variable-refresh rate display; prepare for asymmetric uncooperative multi-GPU and GPU handover; explicit synchronization and runtime transitions back and forth between low (16-bit) to standard (32-bit) to high-definition rendering (10-bit + fp16/fp32). -
25
MoarVM
A runtime built for the 6model object system
...MoarVM provides very little directly - and that's a good thing. It is not tied to a particular way of doing inheritance, roles, mixins, method resolution, type-checking, and so forth.
