metaborg / spoofax-pieView external linksLinks
Spoofax implementation using PIE pipelines
☆14Apr 29, 2025Updated 9 months ago
Alternatives and similar repositories for spoofax-pie
Users that are interested in spoofax-pie are comparing it to the libraries listed below
Sorting:
- MESA GL/3Dfx Glide pass-through for QEMU☆13Sep 30, 2024Updated last year
- A manager for old PC emulation☆13Jun 19, 2023Updated 2 years ago
- PSD, the Portable Scheme Debugger☆13Aug 26, 2022Updated 3 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- The source code of our WACV2020 paper "Self-Contained Stylization via Steganographyfor Reverse and Serial Style Transfer".☆11Jun 8, 2023Updated 2 years ago
- Android app interacting with Dotti bluetooth device☆11Dec 25, 2016Updated 9 years ago
- This is pytorch implementation of paper Stable Video Style Transfer Based on Partial Convolution with Depth-Aware Supervision.☆13Aug 5, 2020Updated 5 years ago
- Heavenly - an awesome color scheme for putty☆10Apr 25, 2015Updated 10 years ago
- A tool to store four extra expansion cards for the framework laptop. Designed to work and look the same as the laptop.☆12Nov 8, 2021Updated 4 years ago
- ☆12Dec 18, 2016Updated 9 years ago
- AIM2020 ECCV Extreme Image Inpainting Track 2 Semantic Guidance☆15Jul 17, 2020Updated 5 years ago
- Solidworks files, and exported STLs of printable parts☆10Oct 27, 2021Updated 4 years ago
- Official codes for 'Preserving Full Degradation Details for Blind Image Super-Resolution'☆12Jul 2, 2024Updated last year
- ☆13Mar 9, 2022Updated 3 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆13Oct 23, 2024Updated last year
- Doom for Apple A/UX (based on Doom 1.10)☆15Jun 18, 2022Updated 3 years ago
- Erlang implementation built on GraalVM/Truffle☆15May 31, 2019Updated 6 years ago
- TiddlyWiki5 on Sandstorm☆13Jul 30, 2017Updated 8 years ago
- ☆13Jul 25, 2024Updated last year
- Posh is a software framework used in cross-platform software development. It was created by Brian Hook. It is BSD licensed and as of 17 M…☆12Sep 16, 2020Updated 5 years ago
- Experimental something something.☆12Jan 13, 2020Updated 6 years ago
- ☆19Aug 22, 2024Updated last year
- helpers for qemu irix/solaris userland emulation☆16May 9, 2022Updated 3 years ago
- A modification of the OS/2 Museum's boxv9x display driver that works with QEMU's VGA adapter☆20Jan 25, 2023Updated 3 years ago
- Tornado proxy handlers for HTTP requests and web sockets☆16Dec 15, 2025Updated last month
- Archive Youtube videos and channels☆17Jul 14, 2021Updated 4 years ago
- Thym Project☆20Nov 23, 2018Updated 7 years ago
- Automatically exported from code.google.com/p/scheme-complete☆18Dec 5, 2024Updated last year
- Personal fork of Proxmox 6's QEMU for testing patches☆18May 9, 2025Updated 9 months ago
- Use a TPM to store a TOTP token in order to attest boot state to another device☆16Mar 10, 2023Updated 2 years ago
- Erlang AST to Elixir AST☆20May 28, 2025Updated 8 months ago
- art.media.platform SDK☆15Nov 8, 2025Updated 3 months ago
- Flexible and customizable static site generator with a lot of plugins!☆22Updated this week
- Example programs written for SectorLISP☆23Aug 3, 2022Updated 3 years ago
- Various tools for RetroPie☆18Jan 4, 2021Updated 5 years ago
- Deploy FreeBSD, OpenBSD, NetBSD, etc. to Linode unattended in minutes☆16Jun 25, 2017Updated 8 years ago
- ☆27Sep 29, 2018Updated 7 years ago
- Morphle Logic V1.0, an open hardware asynchronous runtime reconfigurable array ARRA or PPL,FPGA,CPLD☆23Feb 12, 2023Updated 3 years ago