JacquesCarette/Drasil
Generate all the things (focusing on research software)
Captures domain knowledge once and generates multiple software artifacts (code, specifications, tests) as different views of the same information, ensuring traceability and coherence by construction. Built in Haskell, it uses a domain-specific language to encode well-understood research domains and programmatically assembles outputs in languages like Java and Python while rendering equations consistently across documentation and code. Targets long-lived scientific software through example-driven development, with case studies spanning physics simulations, glass safety analysis, and control systems.
168 stars.
Stars
168
Forks
31
Language
Haskell
License
BSD-2-Clause
Category
Last pushed
Mar 18, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/JacquesCarette/Drasil"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Related tools
lerouxrgd/rsgen-avro
Command line and library for generating Rust types from Avro schemas
elastio/bon
Next-gen compile-time-checked builder generator, named function's arguments, and more!
seaofvoices/darklua
A command line tool that transforms Lua code
usethesource/rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker,...
finos/morphir-elm
Tools to work with the Morphir IR in Elm.