ARM assembler and simulator (written in F#) with elmish, React Monaco Editor, Electron & Fable
☆32Dec 9, 2022Updated 3 years ago
Alternatives and similar repositories for Visual2
Users that are interested in Visual2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Jul 6, 2021Updated 5 years ago
- GDB is the GNU debugger. Forked from bminor's mirror.☆18Jan 6, 2022Updated 4 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 16 years ago
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 2 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Feb 17, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Jun 3, 2021Updated 5 years ago
- a x86_64 forth implemented in forth☆13Mar 19, 2016Updated 10 years ago
- An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.☆18Dec 9, 2020Updated 5 years ago
- An F# implementation of Bulma layered on top of Feliz.Engine☆12Jan 24, 2023Updated 3 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Aug 30, 2021Updated 5 years ago
- Write Fable apps using Feliz and Snabbdom☆13Mar 15, 2021Updated 5 years ago
- Builds cloud-init VM configuration files in F#☆16Apr 20, 2026Updated 4 months ago
- FluentUI (React) to Fable bindings☆13Feb 20, 2023Updated 3 years ago
- p3☆18Jun 10, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- F* running in the browser☆21Aug 15, 2019Updated 7 years ago
- An example of how to parse an ELF symbol table.☆15Feb 9, 2016Updated 10 years ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆26Jul 10, 2021Updated 5 years ago
- F# GUI Tetris☆19Oct 18, 2025Updated 10 months ago
- Emulators for various CPUs, written in Python, consolidated from previous work.☆14Jul 15, 2014Updated 12 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Dec 24, 2022Updated 3 years ago
- Light references to trait objects by embedding the virtual table pointer in the struct☆26Aug 25, 2024Updated 2 years ago
- ☆15Jul 21, 2026Updated last month
- Operations Research in F#☆12Apr 27, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary☆27Dec 20, 2022Updated 3 years ago
- Learning Framework for Logic Calculi☆16Updated this week
- Provides a compile-time transformation to generate web components from react components☆19Jan 26, 2021Updated 5 years ago
- ☆68Jun 30, 2026Updated 2 months ago
- Just a Sample Desktop App Using Avalonia.FuncUI☆13Jan 25, 2020Updated 6 years ago
- F# .NET global tool to grap the first frame of a GIF as a PNG☆17Aug 10, 2021Updated 5 years ago
- Docs for FuncUI☆14Jan 14, 2023Updated 3 years ago
- A book on MIPS assembly programming using simulators (MARS, SPIM, QtSpim) targeted at college students.☆13Mar 6, 2026Updated 5 months ago
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Jun 3, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fable bindings written in the Feliz-style for material-table.☆18Jun 17, 2021Updated 5 years ago
- CoreASM core projects☆24Dec 5, 2023Updated 2 years ago
- Chess application for Android and iOS, written in F#☆12Jun 15, 2026Updated 2 months ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 3 weeks ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 5 years ago
- In F# Avalonia and Elmish written audiobook player for the eins a medien shop and Perry Rhodan fans☆19Dec 18, 2024Updated last year
- .NET Project Templates for FuncUI☆17Jan 11, 2021Updated 5 years ago