https://github.com/dfischer/magic-word
An experimental programming system that combines modern research in programming languages and artificial intelligence. Typed, purely functional concatenative code for scripting the web — and others! With deep learning! 🚀
https://github.com/dfischer/magic-word
Last synced: 4 months ago
JSON representation
An experimental programming system that combines modern research in programming languages and artificial intelligence. Typed, purely functional concatenative code for scripting the web — and others! With deep learning! 🚀
- Host: GitHub
- URL: https://github.com/dfischer/magic-word
- Owner: dfischer
- License: agpl-3.0
- Created: 2021-03-30T13:26:52.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2019-03-18T15:12:39.000Z (over 7 years ago)
- Last Synced: 2025-03-05T05:17:02.731Z (over 1 year ago)
- Homepage:
- Size: 1.69 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Magic Word
[](https://ko-fi.com/T6T5QRUW)
An experimental [programming
system](https://www.dreamsongs.com/Files/Incommensurability.pdf) that
combines modern research in programming languages and artificial
intelligence. Typed, purely functional concatenative code for
scripting the web — and others! With deep learning! 🚀
## Contents
- [About](#about)
- [Getting Started](#getting-started)
- [Documentation](#documentation)
- [License](#license)
## About
Magic Word is a collection of compilers and services written in F# and
targeting the web platform. The common theme is **ABC**, a purely
functional bytecode designed for livecoding and program synthesis.
## Getting Started
`dotnet build` at the top-level will build all projects. At the moment
Magic Word is vaporware, but some time real soon, `dotnet run
--project ./src/MagicWord.Wiki` will start the wiki, which will walk
you through further configuration and usage.
`magic-word.sln` is a .NET solution containing a number of projects:
### `MagicWord.Functions`
`MagicWord.Functions` provides evaluators for the purely functional
bytecode, known as ABC, that powers the Magic Word project. Its unique
feature is its *rewriting* semantics, that allows programs to be
paused, migrated, and resumed at arbitrary points during execution.
### `MagicWord.Bots`
The Magic Word project takes the view that programming language theory
should embrace techniques based on statistics as well as
logic. `MagicWord.Bots` implements *neural language models* trained on
selected corpuses of ABC code. These models are used for program
synthesis, taking inspiration from several recent developments in
machine learning, such as [Language Models are Unsupervised Multitask
Learners](https://d4mucfpksywv.cloudfront.net/better-language-models/language-models.pdf)
and [Neural Program Synthesis with Priority Queue
Training](https://arxiv.org/abs/1801.03526).
### `MagicWord.Wiki`
`MagicWord.Wiki` implements a web server that allows collaborative
community development of ABC programs.
### `MagicWord.Media`
`MagicWord.Media` implements conversions between ABC and various
multimedia formats: audio, images, video and so on. A typical example
is a function from infinite, continuous two dimensional space to some
color space being interpreted as an image (e.g. `R^2 -> R^4`).
## Documentation
Documentation created with mdBook is available on [GitHub
Pages](https://xkapastel.github.io/magic-word).
## License
Magic Word is available under the terms of the GNU Affero General
Public License, version 3; see the `LICENSE` file for details.