Diego Rosario

support for sqlalchemy version 1.4 and 2.0

4

Those versions will introduce massive api changes, will this package support them? If so, has work towards that started?

Mozilla is gathering a massive open multispeaker speech dataset

2

https://voice.mozilla.org/

using this style of generic programming in other languages

2

Hello, i am idris2 programmer ( considering moving to lean 4 ) that wonders whether "Practical generic programming over a universe of native datatypes" can be applied to either of...

[ feature request ] Add a dependency checker script

13

Rather than checking which packages your specific os/ linux distro comes with and having to install the rest, i think it would be ideal if we had the option to...

Another reason to go multi speaker now

1

https://voice.mozilla.org/

Hello, i am interested in writing an automatic binding generator for idris2. Such a tool would need to declare c type signatures, which it can get from c2ffi , however...

MVP for the GRIN Project

14

The GRIN project has been dormant recently, and I’d like to reignite interest by developing an MVP (Minimum Viable Product) that includes essential features for a functional backend capable of...

Question on Sixten's Flat Data Representation with Generics

5

Hi Ollef, I'm interested in how Sixten handles data representation. As far as I know, it's the only language that maintains a flat data layout while still supporting generic functions...

Optional Support for Multi-Shot Continuations

10

> This Stack Switching Proposal introduces one-shot continuations, which are efficient and align with a contiguous stack model. However, languages like Scheme, Racket, and other functional or dynamic languages rely...

Question about continued use of the “Invertible Syntax Descriptions” paper

3

Hello, I noticed that this project references the paper "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing" by Rendel and Ostermann. I was wondering: Are you still using the approach...