]> git.vouivredigital.com Git - vouivre.git/log
vouivre.git
12 months agoAllow reset of evaluated promises
admin [Mon, 20 Nov 2023 06:35:31 +0000 (15:35 +0900)]
Allow reset of evaluated promises

12 months agoCopy srfi-45.scm from guile-3.0.9.120-79e83-dirty/module/srfi/
admin [Mon, 20 Nov 2023 06:15:20 +0000 (15:15 +0900)]
Copy srfi-45.scm from guile-3.0.9.120-79e83-dirty/module/srfi/

12 months agoOptimize `contract-arrays' using absolute indexing
admin [Fri, 10 Nov 2023 07:35:53 +0000 (16:35 +0900)]
Optimize `contract-arrays' using absolute indexing

12 months agoCorrect cos'
admin [Thu, 9 Nov 2023 12:02:39 +0000 (21:02 +0900)]
Correct cos'

12 months agoPrecompute values for jacobian generators
admin [Thu, 9 Nov 2023 04:18:54 +0000 (13:18 +0900)]
Precompute values for jacobian generators

12 months agoAdd more differentiable functions
admin [Thu, 9 Nov 2023 03:46:12 +0000 (12:46 +0900)]
Add more differentiable functions

12 months agoTake instead of reverse drop
admin [Mon, 6 Nov 2023 02:42:54 +0000 (11:42 +0900)]
Take instead of reverse drop

12 months agoChange generic for typed and unspecified arrays
admin [Mon, 6 Nov 2023 02:16:45 +0000 (11:16 +0900)]
Change generic for typed and unspecified arrays

12 months agoOptimize the gradient algorithm
admin [Sun, 5 Nov 2023 13:17:58 +0000 (22:17 +0900)]
Optimize the gradient algorithm

With this optimization the jacobians are computed column by
column improving both space and time complexity.

12 months agoTest gradient of `amap2' on non-internal inputs but internal result
admin [Sun, 5 Nov 2023 13:01:41 +0000 (22:01 +0900)]
Test gradient of `amap2' on non-internal inputs but internal result

12 months agoImplement a functional flip
admin [Sun, 5 Nov 2023 12:44:22 +0000 (21:44 +0900)]
Implement a functional flip

12 months agoImplement an automatic differentiation engine
admin [Wed, 1 Nov 2023 10:54:19 +0000 (19:54 +0900)]
Implement an automatic differentiation engine

12 months agoAdd utilities useful for working with arrays
admin [Wed, 1 Nov 2023 10:40:06 +0000 (19:40 +0900)]
Add utilities useful for working with arrays

13 months agoCleanup and add some docstrings v0.1.0
admin [Fri, 29 Sep 2023 11:58:01 +0000 (20:58 +0900)]
Cleanup and add some docstrings

13 months agoDefine `flip' and `char=?'
admin [Fri, 29 Sep 2023 11:56:32 +0000 (20:56 +0900)]
Define `flip' and `char=?'

13 months agoBootstrap the system
admin [Fri, 29 Sep 2023 11:55:02 +0000 (20:55 +0900)]
Bootstrap the system

13 months agoFix issues with (vdc base) and add reversed composition
admin [Sat, 23 Sep 2023 06:16:07 +0000 (15:16 +0900)]
Fix issues with (vdc base) and add reversed composition

- Call guile's 1+ instead of itself
- Curry internal applications of higher order functions
- Declare types at both expansion and compilation time

13 months agoCompare function types with TBD types
admin [Sat, 23 Sep 2023 06:13:00 +0000 (15:13 +0900)]
Compare function types with TBD types

13 months agoModularize types
admin [Sat, 23 Sep 2023 04:04:57 +0000 (13:04 +0900)]
Modularize types

14 months agoDefine a language to use curried functions in the REPL
admin [Fri, 22 Sep 2023 09:05:45 +0000 (18:05 +0900)]
Define a language to use curried functions in the REPL

14 months agoCopy files from guile-3.0.9.22-1ae50-dirty/module/language/scheme/
admin [Fri, 22 Sep 2023 08:49:13 +0000 (17:49 +0900)]
Copy files from guile-3.0.9.22-1ae50-dirty/module/language/scheme/

14 months agoCurry some procedures from (rnrs base) and (srfi srfi-1)
admin [Fri, 22 Sep 2023 08:30:07 +0000 (17:30 +0900)]
Curry some procedures from (rnrs base) and (srfi srfi-1)

14 months agoDeclare the type at macro expansion time
admin [Fri, 22 Sep 2023 08:07:20 +0000 (17:07 +0900)]
Declare the type at macro expansion time

14 months agoImplement typed curried definitions
admin [Fri, 22 Sep 2023 04:20:35 +0000 (13:20 +0900)]
Implement typed curried definitions

14 months agoExpand partial applications when needed
admin [Fri, 22 Sep 2023 02:54:54 +0000 (11:54 +0900)]
Expand partial applications when needed

14 months agoPlay nicer with regular Scheme
admin [Thu, 21 Sep 2023 05:46:50 +0000 (14:46 +0900)]
Play nicer with regular Scheme

14 months agoChange argument counting to type construction
admin [Thu, 21 Sep 2023 04:07:42 +0000 (13:07 +0900)]
Change argument counting to type construction

Instead of counting the arguments a function can receive
we now construct its type. Anything but functions has
a type of 0 while (curried) functions are typed with cons
cells containing the type of its domain and codomain.

14 months agoTest flipped function composition
admin [Wed, 6 Sep 2023 10:55:44 +0000 (19:55 +0900)]
Test flipped function composition

14 months agoFix currying of higher order functions
admin [Wed, 6 Sep 2023 08:49:42 +0000 (17:49 +0900)]
Fix currying of higher order functions

14 months agoExpand curried functions and check for errors
admin [Tue, 5 Sep 2023 12:37:51 +0000 (21:37 +0900)]
Expand curried functions and check for errors

14 months agoAdd license
admin [Wed, 30 Aug 2023 14:13:16 +0000 (23:13 +0900)]
Add license