thautwarm/Quick-Backend
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
This project helps Idris language developers quickly create new backend compilers. It takes Idris source code as input and produces runnable code in target languages like Python, Julia, or Ruby. Developers who need to extend Idris's compilation targets will find this valuable.
No commits in the last 6 months.
Use this if you are an Idris language developer who needs to implement a custom backend compiler for Idris, generating code in another programming language.
Not ideal if you are not an Idris developer or if you need full, type-safe Foreign Function Interface (FFI) support, as the current FFI mechanism sacrifices some type safety for speed.
Stars
24
Forks
1
Language
TeX
License
BSD-3-Clause
Category
Last pushed
Jun 02, 2020
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/thautwarm/Quick-Backend"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
Dav1dde/glad
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
Aleph-Alpha/ts-rs
Generate TypeScript bindings from Rust types
apollographql/apollo-tooling
✏️ Apollo CLI for client tooling (Mostly replaced by Rover)
mmcloughlin/avo
Generate x86 Assembly with Go
krzysztofzablocki/Sourcery
Meta-programming for Swift, stop writing boilerplate code.