Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

gitlab.com/spritely/brainy

A super research'y back-burner implementation of the [propagator model](https://dspace.mit.edu/handle/1721.1/49525). Ultra-pre-alpha! Still in the highly experimental stage! Not part of Spritely's core and we don't know if it will be!
https://gitlab.com/spritely/brainy

No need to import (goblins core) in brainy.scm

1f4a1b6e72f8d1e421a98bf83e453f6cb0160f81 authored over 1 year ago by Christine Lemmer-Webber <[email protected]>
Add monads.scm, import it

7eafdb2df2cd68581e8cc6d455cb1f765697eab4 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add factorial test

fe4636ae842754bdcb49587b6cdb5f196da28faa authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Oops, define-pcell not define-cell

b95218631d66618c377f71f9ec76ae8e00540e6c authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
e:if should return its result, of course

251f82cb2dc7599e4521735359009e4cf214f5ef authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add p:= and e:=

246f5d0500536b39e049d5580a2e040030765dd0 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add test for when expression output, with its own propagator expression

8fa99cb0001d69c54ce32087d76b187047248e51 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add p:id, add support for "cells are data too"

7b5dea0de8282be813ba2dd119ddc9c08626c447 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add <pcell> wrapper type

This properly wraps things in propagator cells so they can be
distinguished from other kinds of ...

8636c66ca8d758390d2dd63b2cc1fdba1ed0ae84 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add if, when, unless, etc

4dadb78b6696721a2b6cc801b4cdb8d7493fffab authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Stub out when-run, when, unless, if-run, if and variants

f76d79ece702a0c396b648388c1cc84e40185b01 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add conditional routers

0072de0b301ce22cdab5c2e44f6518adeb123a2d authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add not, conditional tests

69f2ff0d6b7d8528125ecbed4a99b05b5ef5c54f authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Reorder tests for the order introduced in the demo

0a98b295b8b04c06e6246068103599f0bf1c6fe5 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
Add p:not, e:not, e:switch, p:conditional, e:conditional

7a48baf4bd2dc92cadad40dc4f18eb5f15ba1b59 authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
We removed spawn-cell, so switch to define-cell

49f717312ff1d632f012110cdf6795a75752964e authored over 2 years ago by Christine Lemmer-Webber <[email protected]>
handling-nothings tries to be more useful debugging-wise

37ed3c09dc7d7a609cab326841fe3ed3c821a27d authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add switches, with tests

749fb1646e94babbde0a3a09a55ea7b9682bbd9b authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
constraint based propagators are now the default with p:

the one-way ones have been renamed to owp: for "one-way-propagator"

a18748680e99c3a4202403bc3890762936cf2d78 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Remove the pe: stuff, nobody's going to use that

1ebe80a693f6374d11a3b93a1382e650e6e45599 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Marking some stuff to be done

62dc386780693cf425ed2e0c5cb93f005de7dbb9 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Enter the first part of the building measurement stuff!

66b1a6e04ce97950b39140e2db40127fc840a2a8 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
TODO for a test that currently throws an exception...

b58b4930535e309ed4f069212ce19bf28a0aedc1 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Note about bug in mul-interval

4d3b85b61f14f0e7d3faa1713ef7fd32bb7ef019 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix show-interval for floats

39f8957e5222139caa8f5f1f890d2c5de34ee001 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
fixes to equality stuff

a tough subject indeed :\

2838adba98ba5a70b21fcd0854e66831678ac5b4 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Square and sqrt

837ec69a8a23fe188f0712a821ed1a075d1a10b5 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add tests for e:f2c on intervals

0039c10b1b189d04bb2aa2b70e78fb03c3957a96 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add lax-/ for intervals

d5ca794f399b9f60cab0ccdc1960329b8b3700a2 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Easier to debug propagator names

b7f91dabbab3b9b5b2753c0e7f5001db15985d99 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix bug in pval-merge of intervals and numbers

c76c907fdf008a6c4bfd055d12c3065f283ebddd authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add simple intervals

5e70637c2d9581861c760c1ac4ef16c787318e23 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
strict and non-strict versions of division

f8f72c8808e7a13b3038bfc78f80cbe29cc6ddd7 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Clear up: Brainy is very very research project mode!

88ff64280999fab373e6c7525a30b49ff0994e92 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Interval stuff

009dd39fd7f1584b40f5b489defb2c9d61e87e13 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Clarify: bracket squares

42b914e8113fe0ec5e413f56febaaec86c092631 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Clean up constraints example and add diagram from Radul's dissertation

77b12b47b9701dae7dc4e2c29880a1606c87c0ea authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Give header for expression-style

e6517b0f9e9029371cc88c4c8d211f1485cb81bc authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add headers, explain propagators history, etc

051b3c4564021cd235b799b25acbd1f5998d1624 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Put the more complicated to read version back in

We show the simplified version later; this one nicely corresponds
with the diagram above it

ba7ca79dd95a6ef7cdcfa4b57836652e33256c9d authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
More stuff about goblins integration

7d3ced1f304f4b206d5b8c819aac63c54f3e16c3 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Oops, spawn-pcell

bebf5b4cb5da9478cdcdacc5b3b276eecacc0c97 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Show a simplified version at the end

26a3f782269607d4777604a6064de85d2bb81c19 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Simpler to read version of farenheit-celsius

0c667c638568eb4885e60d1b1c676662c1ac01e4 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Switch out the algebraic equation for a short scheme version

7564b6d2d00bc69ede196155139c561533349d06 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
consume dissertation with chamomile tea

this is a good commit message

9eed0371e445e2a555c21e8cefbdf1d9a3fd883b authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Functional REACTIVE programming. I don't know what reactie means.

241da99f9e3a7e6be16112c0a9cb26a36b988ba9 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add prun.scm

006a3a745f20a540b166dd01f49c246da5e6a1cd authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix typos around exiting debugger part of tutorial

007a743c06c5dd21b956180b48013a96ee07932c authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Update our Bold Claims (TM) a bit

c0288cf7f0891fe1fe33548f8acb4d1ab1fa38ed authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add a basic README

ed71b64b2e1304e4ca9a4693a567aee87f13c038 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Use new auto-wrapping style

f38ea4031d140f2760d05ea422d586a1d61c33d4 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Automatically wrap values in cells where appropriate

7c4d6e9dba296807ee53c3aa2fda828b72075883 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Switch to throw style exception... for now

a3c637c4703ebfe60b500ff32b5b9e8e0b20c250 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Call it prun instead of pr

02fb0d7205894d9f41c332bc609232d46ae2a6cf authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Oops fix pe: constructors

589b06258ecd6a9628852b3e58645e6aeecffe67 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Learn to spell, Christine

e1877e9e0c7b5c4a864fb40e7f29c2adf3686758 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Moved the Racket stuff to historical/ subdirectory

445b4694511721e2edc9a1b73aa40dcfcb963838 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Export intervals

fee1232df268731787e5cb6824821d55a367cf52 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add simple propagator expression-style pe: procedures

The default probably should be the "most common" version, which is the
bidirectional version, so...

df6d428d14e9766a1f24a3ef1f80d5557c694e1b authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add test-brainy.scm

5bd3ec7510edf0f45adfdc3e857e0c123589e5b3 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
gitignore

7930534a7a0788c3681fe75e9d0506e2a43f42aa authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add license

321ce29655094d35be3f901cc35ad4e9a911595f authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add copyright header

d5f2534390a2dc26316bf5440a4d78a674296941 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Mark off propagator cell section with comment

848f25f4bc6bd3562e327be7740e8d4d671cceb9 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix constraints where we might multiply or divide by zero

1724f0cb0794cea0509c22143db0b481121f153f authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Add <interval> type, to be expanded

6346e8bc02300d84b0a13ca619d8f359fa4bd344 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Don't export ^pcell

db69006508a43a3b3fa891ed986faee6212d3b50 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Simplify for-each in alert-propagators

2e17117f1e87151f2752445cc5498eaba9f0540a authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Move brainy.scm to the right place

02ac7641b4fecd15471e630545f691be8ee6d30f authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Remove some unused crap

83abc900275cf4d98e57ae71f727189749d9b767 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
clean up expressions, etc

5eb57444bed5e17c380605ffd7ca3566fa252a34 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
expression propagators should be based on constraints

also add back <nothing> record

eb3df03fde6e2b5709733eb57354a9272787d482 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
More updates to guile implementation

c16c710b099639b45d4dd7fc3a280a0d4eb2e91c authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix define-pcell with the val in racket version

4286c58bd7b7e966d951c6f9a3f569d238b312a7 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Remove pk

b9ca5bbcec7906794ea03ec8a60b283182d40830 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Fix farenheit example, put other examples in

b33a0ad13a97e35e58f2c215347af6bb4047af8f authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Updating Guile version's interface towards Racket's

c2b4c0ca0dd072b89f4bc0339259207684f5fdd2 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Start of Guile version of brainy

10952239f2e6511bfd047868dd1307ae95f9cc93 authored almost 3 years ago by Christine Lemmer-Webber <[email protected]>
Starting work on types-generics.rkt

030b28842a1216155a30db3ab74b994aa4cb668f authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
Stub in support for merging, detecting contradictions

5222261fbb1248e54802233bac7ca246a1ea06ee authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
Switch to bcom version of ^pcell

a8a35620ba068d4d9b0035c9fcc221c2d9431220 authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
Refining propagator syntax a little bit more

b86fe6d5b3a0a3a748bb99a19c40814760c59bb4 authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
Actually contractify the procedures that have contracts

f8c261119934a9e193b7b77aae11fa3633de4c43 authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
neighbors-lst -> neighbors-set

78865f08953c216135648ef4cfbcac5c05fc5b54 authored about 3 years ago by Christine Lemmer-Webber <[email protected]>
underscore-mark an unused bcom

a693519250f6eff720172509f5508abd1a71e561 authored almost 4 years ago by Christopher Lemmer Webber <[email protected]>
Add the assessor

4b2b794e305c06ebdd6c3078d689120d5c674912 authored almost 4 years ago by Christopher Lemmer Webber <[email protected]>
simpler equivalence

d6aa4f18b36304246622919abd08465fb83a7218 authored almost 4 years ago by Christopher Lemmer Webber <[email protected]>
Add support for celsius-kelvin

287c419172ab92285f715ee577fe8ddc9b4fbd3c authored almost 4 years ago by Christopher Lemmer Webber <[email protected]>
Start of propagator model from Alexey Radul's dissertation

088dce6651b708317b46aa2f044e86164610c7ee authored almost 4 years ago by Christopher Lemmer Webber <[email protected]>