Andrew D. France
| Category | Specialization |
|----------------------------|---------------------------------------------------|
| Systems | Rust, Lisp |
| Scripting | Lua, Fennel, perl, Lisp |
| Formal Systems & Logic | Lean4, Lisp |
| Data | R, Perl, Lisp |
| Development Philosophy | DRY, KISS, testing&benchmarks > boilerplate |
Quick Access
AUR: autodock4 - Automated docking of flexible ligands to proteins(for arch linux)
Lisp: cl-freelock - lock free queue data structures library for common lisp
Lean4: ln_messagepack - the lean4 messagepack serialization library (beta)
PDB-library - personal PDB molecule library
Connect
(11/25/25) Note: I'm on the last stretch of this obnoxious semester (3 more weeks). Next semester is mostly just mathematics for me, so I should have much more time to dedicate to my projects. Thank you for your patience.
TODO
This section displays what I plan to do currently regarding my projects. Most of my projects have a TODO.md, but it's still necessary for me to split time between projects.
- [x] cl-freelock needs to have its system definition symbols updated from
#: to :
- [ ] cl-freelock needs its API-usage wiki-pages updated: I've already written multiple pages-worth for all 23 symbols; I'm just refining.
- [ ] I will add a github actions yml to Rust2d (and a dockerfile at the same time if my time constraints are reasonable).
Still Working On
Meaning I have not abandoned
- [ ] Helping update the clasp install scripts for Roswell.
- [ ] Helping cl-messagepack with benchmarks.
- [ ] I'm still deciding how I want to approach Inline::Lua, as DistillZilla is making pipeline automation difficult and tedious.
For Inline::Lua, additional tests and CI/CD is necessary before making any core changes to the codebase.
- [ ] I'm still working on
Inline::Lua2, though it will go by a different name. It will be finished by at-most the end of September.
Do note that this newer version will technically not be a true direct embedding of lua into Perl. It's more of an endirect embedding, but a bit more preformative and is sandboxed out-of-box with optional configurations. The same methods used in Inline::Lua will be possible with "Inline::Lua2".
TODO - Later
- [ ] I will create google forms for all my projects, and integrate them into automatic github issue reports.
- [ ] I wll use github actions to automatically create issue reports for
cl-win32-types and cl-win32-errors when the upstream API has changes.
- [ ] I will fix the one non-critical warning from RCBOR's rust build-system for CRAN submission, as per CRAN's sys-admin recommendations.
This can wait since it's non-critical