Factor programming language - Github mirror of official GIT repo
☆36Feb 23, 2016Updated 10 years ago
Alternatives and similar repositories for factor
Users that are interested in factor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Factor programming language☆1,867Updated this week
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year
- ☆11Nov 29, 2017Updated 8 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated last week
- Lean 4 bindings to libcurl☆15Feb 3, 2026Updated 9 months ago
- explore concatenative combinators☆12Jan 4, 2010Updated 16 years ago
- ☆14Sep 16, 2026Updated last month
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 12 years ago
- Basic Unicode support for Lean 4☆16Updated this week
- Playable Survival Conway's Game of Life☆10Jun 22, 2022Updated 4 years ago
- Official documentation for ooc 0.3+☆10May 4, 2012Updated 14 years ago
- Shen KLambda to KLVM translator.☆31Jan 4, 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.
- Simple and Scalable Web Server 🚀☆14Mar 8, 2019Updated 7 years ago
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- Nix language support for VS Code☆27Feb 24, 2021Updated 5 years ago
- Parser combinators for JS☆13Aug 25, 2015Updated 11 years ago
- copied from http://readable.sourceforge.net☆11Mar 13, 2016Updated 10 years ago
- Conway's Game of Life in Nix Programming Language☆12May 31, 2020Updated 6 years ago
- Scala Numerical Optimization library☆10Nov 8, 2017Updated 8 years ago
- Clojure RETE implementation☆10Nov 12, 2013Updated 12 years ago
- Simple Dubsiren with RaspberryPi-pico☆12Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆74Dec 30, 2014Updated 11 years ago
- Major emacs mode for editing Common Intermediate Language files.☆13Jun 22, 2016Updated 10 years ago
- Experimental multidimensional arrays for F#☆11Nov 12, 2017Updated 8 years ago
- Multi Oberon Compiler☆44Jul 27, 2021Updated 5 years ago
- Nim wrapper for the ESP8266 NON-OS SDK☆16May 11, 2022Updated 4 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆35Mar 14, 2020Updated 6 years ago
- Common Lisp library for XMPP RFCs.☆12Dec 17, 2023Updated 2 years ago
- colorForth for Mac OS X☆23Apr 18, 2010Updated 16 years ago
- ☆19Nov 9, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SDL2 bindings for lean☆24Dec 27, 2025Updated 10 months ago
- 神.java | Shen for Java. Shen is a portable functional programming language by Mark Tarver.☆12Sep 20, 2014Updated 12 years ago
- ☆25Updated this week
- Oberon-07 translator☆49Apr 6, 2026Updated 7 months ago
- Prototype of natural language parser☆18Nov 22, 2015Updated 10 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆59Sep 14, 2013Updated 13 years ago
- Telegram bot in Bash☆11Jun 1, 2018Updated 8 years ago