Refal2 interpreter
☆11Dec 30, 2019Updated 6 years ago
Alternatives and similar repositories for refal
Users that are interested in refal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Исполнитель диалекта Рефал-5☆14Mar 18, 2025Updated last year
- ☆13Apr 19, 2025Updated last year
- Компилятор Рефала-5λ☆100Oct 25, 2026Updated last week
- Travelling Salesman Problem using Ant Colony Optimization☆16Apr 4, 2019Updated 7 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Desktop application for music recognition using audio fingerprinting☆11Aug 28, 2022Updated 4 years ago
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- C VM for Jack Language☆12Apr 24, 2015Updated 11 years ago
- UFFI bindings to the GD graphics library☆17Oct 21, 2020Updated 6 years ago
- Scalable Web Framework aimed at Speed and Simplicity☆19Mar 5, 2014Updated 12 years ago
- SP-Forth repository mirror with the source files in UTF-8☆13May 19, 2026Updated 5 months ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- Бланк LaTeX для курсовых и выпускных записок, проходящий актуальную ве рсию TestVKR.☆33Jul 14, 2025Updated last year
- 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.
- ☆14Feb 15, 2017Updated 9 years ago
- A regular expression to SMT-LIB constraint translator☆12Jul 12, 2025Updated last year
- Erlang NIF library that provides a collection of optimized functions for digital signal processing☆10Sep 27, 2015Updated 11 years ago
- An API wrapper for Discord written in the Garry's Mod Lua Environment. [WIP]☆10May 26, 2024Updated 2 years ago
- CMC MSU Probability Theory & Mathematical Statistics Course Textbook, 2020☆11Sep 1, 2020Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers☆16Dec 10, 2025Updated 10 months ago
- Injecting lua code in working VTF files and then running it☆11May 18, 2021Updated 5 years ago
- Text::APL - non-blocking and streaming capable template engine☆10Sep 23, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Discuss future project ideas☆12May 10, 2017Updated 9 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Glyphs - Reducing Common Lisp verbosity☆30May 12, 2018Updated 8 years ago
- A Linux /dev/input driver for CL☆11Dec 28, 2024Updated last year
- Hoon and You - An FP Perspective☆10Oct 18, 2018Updated 8 years ago
- Automatically exported from code.google.com/p/javascript-lisp-interpreter☆10Mar 14, 2015Updated 11 years ago
- ☆12Mar 31, 2024Updated 2 years ago
- A converter that transforms Finale (.musx) music scores into MusicXML (.mxl) format, enabling easy import into various music notation sof…☆29Mar 12, 2025Updated last year
- BisPy - Python bisimulation library☆18Jan 21, 2022Updated 4 years 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.
- GNU Emacs minor mode for displaying stroke order of Japanese kanji characters☆13May 9, 2025Updated last year
- Anki add-on for memorizing lists and enumerations☆14Nov 14, 2023Updated 2 years ago
- evemu - Kernel device emulation☆11Oct 2, 2017Updated 9 years ago
- small x86-64 jit compiler written in luajit☆18May 3, 2025Updated last year
- ALSA bindings for Common Lisp☆12Updated this week
- SImple Android Game Engine - 3D, the easy way☆11Apr 22, 2021Updated 5 years ago
- Репозиторий для лабораторных и просто работ по программе обучения на кафедре ИУ9☆13May 17, 2026Updated 5 months ago