git.vouivredigital.com Git - vouivre.git/shortlog

]> git.vouivredigital.com Git - vouivre.git/shortlog

2024-10-19	admin	Improve rule creation — especially replacements	commit \| commitdiff \| tree \| snapshot
2024-10-15	admin	Add copyright	commit \| commitdiff \| tree \| snapshot
2024-10-07	admin	Draw hypotheses	commit \| commitdiff \| tree \| snapshot
2024-10-06	admin	Delete input on KEY_BACKSPACE	commit \| commitdiff \| tree \| snapshot
2024-10-06	admin	Create a development environment for dependent type...	commit \| commitdiff \| tree \| snapshot
2024-06-13	admin	Implement a dependent type system	commit \| commitdiff \| tree \| snapshot
2024-04-06	admin	Derive the constant map	commit \| commitdiff \| tree \| snapshot
2024-04-05	admin	Implement a new type system	commit \| commitdiff \| tree \| snapshot
2023-11-28	admin	Update version master v0.2.0	commit \| commitdiff \| tree \| snapshot
2023-11-28	admin	Cleanup	commit \| commitdiff \| tree \| snapshot
2023-11-27	admin	Make differentiable functions partially applicable	commit \| commitdiff \| tree \| snapshot
2023-11-27	admin	Cleanup and document	commit \| commitdiff \| tree \| snapshot
2023-11-27	admin	Remove unused array types	commit \| commitdiff \| tree \| snapshot
2023-11-27	admin	Train a model on MNIST	commit \| commitdiff \| tree \| snapshot
2023-11-26	admin	Automake	commit \| commitdiff \| tree \| snapshot
2023-11-25	admin	Download and load the MNIST dataset	commit \| commitdiff \| tree \| snapshot
2023-11-23	admin	Add a copyright and license notice in each file	commit \| commitdiff \| tree \| snapshot
2023-11-23	admin	Implement reverse mode automatic differentiation	commit \| commitdiff \| tree \| snapshot
2023-11-20	admin	Catch offending generated input(s) on error	commit \| commitdiff \| tree \| snapshot
2023-11-20	admin	Optimize garbage collection	commit \| commitdiff \| tree \| snapshot
2023-11-20	admin	Allow reset of evaluated promises	commit \| commitdiff \| tree \| snapshot
2023-11-20	admin	Copy srfi-45.scm from guile-3.0.9.120-79e83-dirty/modul...	commit \| commitdiff \| tree \| snapshot
2023-11-10	admin	Optimize `contract-arrays' using absolute indexing	commit \| commitdiff \| tree \| snapshot
2023-11-09	admin	Correct cos'	commit \| commitdiff \| tree \| snapshot
2023-11-09	admin	Precompute values for jacobian generators	commit \| commitdiff \| tree \| snapshot
2023-11-09	admin	Add more differentiable functions	commit \| commitdiff \| tree \| snapshot
2023-11-06	admin	Take instead of reverse drop	commit \| commitdiff \| tree \| snapshot
2023-11-06	admin	Change generic for typed and unspecified arrays	commit \| commitdiff \| tree \| snapshot
2023-11-05	admin	Optimize the gradient algorithm	commit \| commitdiff \| tree \| snapshot
2023-11-05	admin	Test gradient of `amap2' on non-internal inputs but...	commit \| commitdiff \| tree \| snapshot
2023-11-05	admin	Implement a functional flip	commit \| commitdiff \| tree \| snapshot
2023-11-01	admin	Implement an automatic differentiation engine	commit \| commitdiff \| tree \| snapshot
2023-11-01	admin	Add utilities useful for working with arrays	commit \| commitdiff \| tree \| snapshot
2023-09-29	admin	Cleanup and add some docstrings v0.1.0	commit \| commitdiff \| tree \| snapshot
2023-09-29	admin	Define `flip' and `char=?'	commit \| commitdiff \| tree \| snapshot
2023-09-29	admin	Bootstrap the system	commit \| commitdiff \| tree \| snapshot
2023-09-23	admin	Fix issues with (vdc base) and add reversed composition	commit \| commitdiff \| tree \| snapshot
2023-09-23	admin	Compare function types with TBD types	commit \| commitdiff \| tree \| snapshot
2023-09-23	admin	Modularize types	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Define a language to use curried functions in the REPL	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Copy files from guile-3.0.9.22-1ae50-dirty/module/langu...	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Curry some procedures from (rnrs base) and (srfi srfi-1)	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Declare the type at macro expansion time	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Implement typed curried definitions	commit \| commitdiff \| tree \| snapshot
2023-09-22	admin	Expand partial applications when needed	commit \| commitdiff \| tree \| snapshot
2023-09-21	admin	Play nicer with regular Scheme	commit \| commitdiff \| tree \| snapshot
2023-09-21	admin	Change argument counting to type construction	commit \| commitdiff \| tree \| snapshot
2023-09-06	admin	Test flipped function composition	commit \| commitdiff \| tree \| snapshot
2023-09-06	admin	Fix currying of higher order functions	commit \| commitdiff \| tree \| snapshot
2023-09-05	admin	Expand curried functions and check for errors	commit \| commitdiff \| tree \| snapshot
2023-08-30	admin	Add license	commit \| commitdiff \| tree \| snapshot

Dependent type infrastructure for machine learning.

RSS Atom