top | item 47091900 (no title) mlajtos | 9 days ago Fluent – 4K lines – including parser, interpreter, standard library, IDE, UI, docs, examples. Will grow though.https://github.com/mlajtos/fluent/blob/main/client.tsx discuss order hn newest surprisetalk|9 days ago I'll add it! Thanks.EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :) solomonb|9 days ago If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polyttAnd here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs`polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future. mlajtos|7 days ago > Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)Fair. Thank you :)
surprisetalk|9 days ago I'll add it! Thanks.EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :) solomonb|9 days ago If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polyttAnd here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs`polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future. mlajtos|7 days ago > Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)Fair. Thank you :)
solomonb|9 days ago If you're accepting additions here is a fun one some friends and I did as experiment at the Topos Institute: https://github.com/ToposInstitute/polyttAnd here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs`polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future.
mlajtos|7 days ago > Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)Fair. Thank you :)
surprisetalk|9 days ago
EDIT: Actually, it's not quite "ML-family" enough for this post. But it is a remarkably cool project! :)
solomonb|9 days ago
And here is a set of single file lambda calculus implementations with a variety of extensions: https://github.com/solomon-b/lambda-calculus-hs
`polytt` is kind of an ended experiment but that lambda calculus repo i plan to extend in the near future.
mlajtos|7 days ago
Fair. Thank you :)