Search Results for "forth"
Sort By:
Showing 198 open source projects for "forth"
View related business solutions-
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.
-
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
4tH compiler
A Forth compiler with a little difference
4tH is 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. ... -
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
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. -
4
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. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
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. ... -
6
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. -
7
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. -
8
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. -
9
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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. ... -
11
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). ... -
12
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. -
13
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. -
14
MinForth
A minimalistic but complete standard Forth compiler in C
...Main but not exclusive application for the transpiler is to build the MinForth V3.4 high-level Forth compiler. MinForth V3.4 is widely conformant to the Forth-2012 draft standard and passes the usual test suites. Feedback and bug reports are welcome per - Usenet forum https://groups.google.com/forum/#!forum/comp.lang.forth - email to minforth@gmx.net -
15
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. -
16
Mecrisp - A family of optimising native code Forth implementations for MSP430, ARM Cortex M, RISC-V RV32IM(C), MIPS M4K and FPGAs.
-
17
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. ... -
18
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. -
19
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. -
20
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. ... -
21
nanomsg
nanomsg library
...These scalability protocols are lightweight messaging protocols that can be used to solve a number of very common messaging patterns, such as request/reply, publish/subscribe, surveyor/respondent, and so forth. These protocols can run over a variety of transports such as TCP, UNIX sockets, and even WebSocket. This pattern is useful for solving producer/consumer problems, including load-balancing. Messages flow from the push side to the pull side. If multiple peers are connected, the pattern attempts to distribute fairly. nanomsg is a socket library that provides several common communication patterns. ... -
22
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. ... -
23
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... -
24
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. -
25
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. ...
