projects / vouivre.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
vouivre.git
2024-11-13 adminFix broken (on some compilers) switch wip commit | commitdiff | tree | snapshot
2024-11-05 adminAdapt rules to support general derivations commit | commitdiff | tree | snapshot
2024-11-04 adminDraw rules in order entered commit | commitdiff | tree | snapshot
2024-11-03 adminRefactor wraps and points commit | commitdiff | tree | snapshot
2024-10-27 adminIncorporate `list_wrap_names' into `list_dependencies' commit | commitdiff | tree | snapshot
2024-10-27 adminImprove handling of name scopes commit | commitdiff | tree | snapshot
2024-10-19 adminImplement generic theses commit | commitdiff | tree | snapshot
2024-10-19 adminImprove rule creation — especially replacements commit | commitdiff | tree | snapshot
2024-10-15 adminAdd copyright commit | commitdiff | tree | snapshot
2024-10-07 adminDraw hypotheses commit | commitdiff | tree | snapshot
2024-10-06 adminDelete input on KEY_BACKSPACE commit | commitdiff | tree | snapshot
2024-10-06 adminCreate a development environment for dependent type... commit | commitdiff | tree | snapshot
2024-06-13 adminImplement a dependent type system commit | commitdiff | tree | snapshot
2024-04-06 adminDerive the constant map commit | commitdiff | tree | snapshot
2024-04-05 adminImplement a new type system commit | commitdiff | tree | snapshot
2023-11-28 adminUpdate version master v0.2.0 commit | commitdiff | tree | snapshot
2023-11-28 adminCleanup commit | commitdiff | tree | snapshot
2023-11-27 adminMake differentiable functions partially applicable commit | commitdiff | tree | snapshot
2023-11-27 adminCleanup and document commit | commitdiff | tree | snapshot
2023-11-27 adminRemove unused array types commit | commitdiff | tree | snapshot
2023-11-27 adminTrain a model on MNIST commit | commitdiff | tree | snapshot
2023-11-26 adminAutomake commit | commitdiff | tree | snapshot
2023-11-25 adminDownload and load the MNIST dataset commit | commitdiff | tree | snapshot
2023-11-23 adminAdd a copyright and license notice in each file commit | commitdiff | tree | snapshot
2023-11-23 adminImplement reverse mode automatic differentiation commit | commitdiff | tree | snapshot
2023-11-20 adminCatch offending generated input(s) on error commit | commitdiff | tree | snapshot
2023-11-20 adminOptimize garbage collection commit | commitdiff | tree | snapshot
2023-11-20 adminAllow reset of evaluated promises commit | commitdiff | tree | snapshot
2023-11-20 adminCopy srfi-45.scm from guile-3.0.9.120-79e83-dirty/modul... commit | commitdiff | tree | snapshot
2023-11-10 adminOptimize `contract-arrays' using absolute indexing commit | commitdiff | tree | snapshot
2023-11-09 adminCorrect cos' commit | commitdiff | tree | snapshot
2023-11-09 adminPrecompute values for jacobian generators commit | commitdiff | tree | snapshot
2023-11-09 adminAdd more differentiable functions commit | commitdiff | tree | snapshot
2023-11-06 adminTake instead of reverse drop commit | commitdiff | tree | snapshot
2023-11-06 adminChange generic for typed and unspecified arrays commit | commitdiff | tree | snapshot
2023-11-05 adminOptimize the gradient algorithm commit | commitdiff | tree | snapshot
2023-11-05 adminTest gradient of `amap2' on non-internal inputs but... commit | commitdiff | tree | snapshot
2023-11-05 adminImplement a functional flip commit | commitdiff | tree | snapshot
2023-11-01 adminImplement an automatic differentiation engine commit | commitdiff | tree | snapshot
2023-11-01 adminAdd utilities useful for working with arrays commit | commitdiff | tree | snapshot
2023-09-29 adminCleanup and add some docstrings v0.1.0 commit | commitdiff | tree | snapshot
2023-09-29 adminDefine `flip' and `char=?' commit | commitdiff | tree | snapshot
2023-09-29 adminBootstrap the system commit | commitdiff | tree | snapshot
2023-09-23 adminFix issues with (vdc base) and add reversed composition commit | commitdiff | tree | snapshot
2023-09-23 adminCompare function types with TBD types commit | commitdiff | tree | snapshot
2023-09-23 adminModularize types commit | commitdiff | tree | snapshot
2023-09-22 adminDefine a language to use curried functions in the REPL commit | commitdiff | tree | snapshot
2023-09-22 adminCopy files from guile-3.0.9.22-1ae50-dirty/module/langu... commit | commitdiff | tree | snapshot
2023-09-22 adminCurry some procedures from (rnrs base) and (srfi srfi-1) commit | commitdiff | tree | snapshot
2023-09-22 adminDeclare the type at macro expansion time commit | commitdiff | tree | snapshot
2023-09-22 adminImplement typed curried definitions commit | commitdiff | tree | snapshot
2023-09-22 adminExpand partial applications when needed commit | commitdiff | tree | snapshot
2023-09-21 adminPlay nicer with regular Scheme commit | commitdiff | tree | snapshot
2023-09-21 adminChange argument counting to type construction commit | commitdiff | tree | snapshot
2023-09-06 adminTest flipped function composition commit | commitdiff | tree | snapshot
2023-09-06 adminFix currying of higher order functions commit | commitdiff | tree | snapshot
2023-09-05 adminExpand curried functions and check for errors commit | commitdiff | tree | snapshot
2023-08-30 adminAdd license commit | commitdiff | tree | snapshot
Dependent type infrastructure for machine learning.