Ecosyste.ms: OpenCollective

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

Lamdu

The Lamdu collective develops Lamdu, a new kind of programming language which breaks out of the boundaries imposed by text files.
Collective - Host: opensource - https://opencollective.com/lamdu - Website: https://lamdu.org - Code: https://github.com/lamdu

Extract PresentationModeEdit

github.com/lamdu/lamdu - 1949acf5dcef39b0a21756d3399aba7128f86a9c authored over 7 years ago
BinderEdit: Remove superfluous MkProperty

github.com/lamdu/lamdu - 4dad5cae707d1c90085f30b9331fccadf3b6cda9 authored over 7 years ago
fix https://trello.com/c/DMVXNsSF/310-type-infer-crash-upon-deletion

github.com/lamdu/lamdu - 971c978c56c332fe6c22e18b6120edb87c4f3834 authored over 7 years ago
Move '+' into the opener label for sums

github.com/lamdu/lamdu - 27d87a6aa7569fa55607176e56127606024987c6 authored over 7 years ago
TypeView: Add braces around records and sums

github.com/lamdu/lamdu - e95f0ab40ca0a7c2bcfff28c97eae2a338588d4b authored over 7 years ago
TypeView: makeEmpty{Record=>Composite}

github.com/lamdu/lamdu - 56fe73f7899d5e6c809e77d63d1e4ac4653c8670 authored over 7 years ago
TypeView: Add 'or:' prefixes to sum type constructors

github.com/lamdu/lamdu - ff57962c23eb8b885905bc98d03c2c768ddd8d83 authored over 7 years ago
Use different colors to make hovering annotations look better

github.com/lamdu/lamdu - f6fb1cd48e72b868af89a4a27286207ca2832995 authored over 7 years ago
Revert "Annotation hovers use same color as ordinary annotations"

This reverts commit 5d2e066fec7ad3d03f9b660ef88a3f7d7fa0b94f.

github.com/lamdu/lamdu - ef3f4d962eddf18285ec0c8a620128e0e627394e authored over 7 years ago
Annotation hovers use same color as ordinary annotations

github.com/lamdu/lamdu - 5d2e066fec7ad3d03f9b660ef88a3f7d7fa0b94f authored over 7 years ago
dont sugar invalid utf8 text literals

Fixes https://trello.com/c/R7hiQi2K/297

github.com/lamdu/lamdu - 44521cb7d4d3f49ac9315d6ae6d80ba69d49d51b authored over 7 years ago
Delete for else clause replaces expr to then clause

github.com/lamdu/lamdu - 932ca0defdde9ec3f0d47aa498ab45e56b601100 authored over 7 years ago
EvalView/TypeView: Propagate anim ids via Element.animIdPrefix

github.com/lamdu/lamdu - fe843fa8ef9282631ee4461c13cd6acc2aa1a517 authored over 7 years ago
Inline view.hoverInPlaceOf

github.com/lamdu/lamdu - 5ff7cc067ef3692c994c11d3620ab5965a5c2bec authored over 7 years ago
TypeView: 'return' -> 'pure'

github.com/lamdu/lamdu - b1d6db7095aca4d9b0ba7f05092cfeaf6c0ce29f authored over 7 years ago
unitSquare Uses AnimIdPrefix

github.com/lamdu/lamdu - 6415b95b75f1ff324c6fae2353b25890ea7350e9 authored over 7 years ago
Convert.Apply: Refactor

github.com/lamdu/lamdu - b1dfa277e0ded973db46ec362d019ae5791c5ca4 authored over 7 years ago
ResponsiveExpr: Remove internal type annotations

github.com/lamdu/lamdu - 82cedff128f0064270260ade8ae342ad2ff9b1a5 authored over 7 years ago
EvalView: Use ellipsis consistently

github.com/lamdu/lamdu - 2c27e8bb643bc6dd0204eaf73cdbb05c9f0703d5 authored over 7 years ago
InjectEdit: Use animIdPrefix

github.com/lamdu/lamdu - 72b612bf4cbb0968733de397d12622d33c7a8640 authored over 7 years ago
Extract Lamdu.GUI.Styled

* Extract it from ExpresesionGui
* This will allow TypeView to be as styled as ordinary expressi...

github.com/lamdu/lamdu - e2c63e31d588c198bf79cae55c27e6a9347ac725 authored over 7 years ago
EvalView: 'return' -> 'pure'

github.com/lamdu/lamdu - a8be759925fa6164147b94c54249cf081cbb0d02 authored over 7 years ago
RecordEdit: Use animIdPrefix

github.com/lamdu/lamdu - e4f19df787397b9d892f422f88bad40d5a1d8749 authored over 7 years ago
DRY code from GUI.Styled and TypeView

github.com/lamdu/lamdu - 1442b7b8ee557cd3db27a2e5d6bba6873a7a8d4a authored over 7 years ago
TypeView: Use grammar style for grammar text

github.com/lamdu/lamdu - dd60d61424fbcaffe1edf4f35e14b233da958542 authored over 7 years ago
Remove support for typeTint

github.com/lamdu/lamdu - 30b4dda29d215099c5ab6b45d25b4700d9e7530e authored over 7 years ago
Delete definition only from LHS

Fixes https://trello.com/c/XQCBUBF7/290

github.com/lamdu/lamdu - 69b6be580691fe4f64b56deefab922804f5f892c authored over 7 years ago
RecordEdit: Don't allow adding fields when the whole record is selected

github.com/lamdu/lamdu - 2e174d87f2fd929602f2e2398656f88e8900c7b2 authored over 7 years ago
Remove duplicated arg

github.com/lamdu/lamdu - 0b164cb9013219f694525d495e1f81a9c6604291 authored over 7 years ago
Get rid of HoleInfo

Passing the monolithic HoleInfo is a bit OO-style and it's hard to see what uses what..
Now it's...

github.com/lamdu/lamdu - 632f58fe080cb9dfaddaca8257b5d49f2596de3d authored over 7 years ago
make scopeNav persist like prev results

to avoid layout changes when editing while evaluation is enabled.

the difference can be seen wh...

github.com/lamdu/lamdu - e4f9cdb8494ec692a2a9315ea3f0ad8c80c7c46a authored over 7 years ago
Simplify and fix allowedCharsFromSearchTerm

Now can't add bracket chars after added alpha chars.
This makes "iter{}" not require space

github.com/lamdu/lamdu - 77a67b85812e825f5bc28140da27e14c171f5c49 authored over 7 years ago
Remove HoleState type, use Text instead

Originally at 2012 (b952319bd3b) HoleState also had other stuff in it.

github.com/lamdu/lamdu - 74d7c3b819c3035e9fb74cdc294556c706f503be authored over 7 years ago
use GeneralizedNewtypeDeriving instead of Generic

github.com/lamdu/lamdu - e817cbb8bd47c504850975e56d28d8fa98feb380 authored over 7 years ago
minor cleanup

(reducing scope of stateProp)

github.com/lamdu/lamdu - 71e0f1b660c0b5abb1a1a0fb5388135eaac0722a authored over 7 years ago
Remove unnecessary code

Reminiscent of when literal text was entered in hole search string when
it was first added in 22...

github.com/lamdu/lamdu - 3a400011ef2b05ed08a4b615a5408ddce4a18101 authored over 7 years ago
remove unused export

github.com/lamdu/lamdu - 60eb0e577559cb641c669397dd924b30d3e265ee authored over 7 years ago
Cases and Records get their entity id from their tail,

So that animation is smooth when adding the first field/alt.

However now when opening/closing r...

github.com/lamdu/lamdu - 306d1de53d4b444158e4845b5488d32eaebd9969 authored over 7 years ago
hlint police

github.com/lamdu/lamdu - 87e3d6c35c323a67e686417122ac1c37d59219ae authored over 7 years ago
Eval.Results: function instances have cacheIds

Towards auto-expanding delayed computations in repl result

github.com/lamdu/lamdu - 7b12e903b06003831b29de3fc6140b5de0154541 authored over 7 years ago
error message tweaks

github.com/lamdu/lamdu - 9dce754ca41d5252ed2de99864d73028be3f07cf authored over 7 years ago
GetVar alts are var/param refs, not vars/parameters, rename to reflect that

github.com/lamdu/lamdu - 5e0f908d41a42e3eeba78fb86c161a8e0b0ec394 authored over 7 years ago
GetVarEdit: lens style

github.com/lamdu/lamdu - a5c3ca0f6bf3a283283d41ae21a3395e3bfca367 authored over 7 years ago
Remove ExpressionGui.listWithDelDests

github.com/lamdu/lamdu - 3c28678c1a0877eddc231743ed2eec40df40117f authored over 7 years ago
{TagEdit=>WidgetIds}.tagHoleId

github.com/lamdu/lamdu - f36c2c46836357518300b6ec5537104a871ebbb4 authored over 7 years ago
diveIntoLet -> letBinderId

github.com/lamdu/lamdu - fce5d1fd611e2e26c6be1c8faaefa3047696bef5 authored over 7 years ago
BinderEdit: lens-style

github.com/lamdu/lamdu - 2ced0d1026806ec9910be73df8929c058abb77bf authored over 7 years ago
WidgetIds: Get rid of delegatingId

github.com/lamdu/lamdu - aa7e10b5f7d17bb954cec62588374663bf0ec6e7 authored over 7 years ago
WidgetIds: Depend on Animation.Id, not Animation

github.com/lamdu/lamdu - 075870d20b4ddc8db2fd66ef83c5bcc0afddacea authored over 7 years ago
Fix compile error with ghc 8.0.2

github.com/lamdu/lamdu - 3fca2851cdfb1c94077c72a269e7eaa59e89bb4e authored over 7 years ago
fix animations for picking hole results

broken in prev commit,
can no longer rely on prefix mappings..

github.com/lamdu/lamdu - 4665d2e5de100a9f45a5e9592f7630748ddf59c3 authored over 7 years ago
Revert prefix-based animation groups (reverts de3bfd7a7)

Those were added (in 2012!) when our TextEdit animated character edits and we wanted a way to
sw...

github.com/lamdu/lamdu - 5f73be823905136d5b9fdc969da61a49101b775f authored over 7 years ago
extract Animation.Engine module

will reduce recompilations when things in it change, as only mainloop uses it.

github.com/lamdu/lamdu - 43049a0b64e4b70783f2226aef5d9ed6a6104b30 authored over 7 years ago
update README to reflect paren keys changes

github.com/lamdu/lamdu - 4bed5dc4ce68ea5ce2c2abcd362550761bc87472 authored over 7 years ago
oops fix warnings / remove dead code from prev commit

github.com/lamdu/lamdu - 6be0b8d47a1738f17792f1761544e07f515b2171 authored over 7 years ago
Unwrap hole doesn't jump to inner holes

Reverts 2f9d24eb79fc71b90b560550ca003ff3911c3d78 from 2013.

This makes the close-parens key wor...

github.com/lamdu/lamdu - 0e2969626fe00e6e2af427332be95cf09b479969 authored over 7 years ago
Oops add let went to wrong cursor

github.com/lamdu/lamdu - c428e85bc6c40655bb79226e3241e10ded7deb2c authored over 7 years ago
close parens applies hole picker

can now type "factorial x=if x=0:1 x*fac(x-1)" to create factorial

github.com/lamdu/lamdu - 675c67f549b16328c3f56b2852c5e55738922deb authored over 7 years ago
Use weakerEvents normally in ExpressionGui.stdWrap

Reverts d9ed02d1b0b13fd346de5a50198a07f7313c72c9

This allows using parens inside hole results t...

github.com/lamdu/lamdu - 8fc7fc123252f3939c2b6a0930eb3c298b6b8416 authored over 7 years ago
Expression ids go to the exprs themselves, not a leaf

github.com/lamdu/lamdu - b56d4de2559dc4f3ee9257b2595c85b09d1ab8d2 authored over 7 years ago
CaseEdit/RecordEdit: Should not override the parent id

* RecordEdit is not a parent if no fields

github.com/lamdu/lamdu - 95b26d7a5ffbb8278e55f2c23e9b3a5448ba9908 authored over 7 years ago
BinderEdit: Don't consume the same widget id for let as the parent delegator

github.com/lamdu/lamdu - e12868fa2799046cb71cd3f62f31ac72fc874174 authored over 7 years ago
Remove dead code

github.com/lamdu/lamdu - c50a42fd8aacabed49dd863391477762aa3767c0 authored over 7 years ago
Extract to let dives into let

github.com/lamdu/lamdu - 2c3deee8538a3cbb01f211f4710aee1b0405a8f7 authored over 7 years ago
Oops: Parents shouldn't delegate to any child by default

github.com/lamdu/lamdu - d0b3b6b642da6584077835617388fff152c49df2 authored over 7 years ago
Back to removing unwanted enter/leave subexpr keys instead of removing

delegator

* This is because the delegator isn't only there for keys -- but more
behavior.

* H...

github.com/lamdu/lamdu - 47a9e46b144cb884e73545ac915fb10bd1c05785 authored over 7 years ago
Partially revert "Open bracket and close bracket keys open and close wrapper holes."

Making wrapper holes like parens had the problem that they get created for you for red holes,

T...

github.com/lamdu/lamdu - 670cc77f2ebc2f865842bd45eca079e7c9d63ed0 authored over 7 years ago
RecordEdit: Closer aligned to last field

github.com/lamdu/lamdu - b270c19622d543cc00ee1be4ecdfde6d5299c861 authored over 7 years ago
refactor RecordEdit

github.com/lamdu/lamdu - 275dfdd1637bcbcdda175c2940dac18adb5f4622 authored over 7 years ago
Revert "RecordEdit: Closer is aligned to bottom"

This reverts commit dcf69115616d65459c886db7a65dd6ad23602e14.

github.com/lamdu/lamdu - 4f8962a0de09018ea479c6859b2cfa2b31838209 authored over 7 years ago
Responsive.taggedList supports aligned suffix tags

Note that unlike prefix tags these may have space between them and items

github.com/lamdu/lamdu - 616ff38b7e590c6dfaa45db14fa1ce46ca4de2db authored over 7 years ago
small cleanup

github.com/lamdu/lamdu - e8d48af3236e8e7e36bb00624c187fa2fe8aca49 authored over 7 years ago
Responsive.taggedList gets TaggedItem records rather than tuples

github.com/lamdu/lamdu - c13234c1663ee996f279a2a1d40d63925cac8d29 authored over 7 years ago
RecordEdit: Closer is aligned to bottom

github.com/lamdu/lamdu - dcf69115616d65459c886db7a65dd6ad23602e14 authored over 7 years ago
RecordEdit: Refactor

github.com/lamdu/lamdu - 7275d94371d29a082a4d8a747afbfd8f4a978e95 authored over 7 years ago
CaseEdit: factor out common labels

github.com/lamdu/lamdu - 84e494940f6952fd0e089f8befc8f3d1c9560da2 authored over 7 years ago
RecordEdit: Can use alt-o to toggle openness of record. Lack of children makes it non-parent

github.com/lamdu/lamdu - 136ad7d62fbe15402bde4e563dc5a51bd1f2ba75 authored over 7 years ago
Revert "Expression ids go to the exprs themselves, not a leaf"

This reverts commit 00f5c74d69596db9da35bc6f719781c893e2e74c.

github.com/lamdu/lamdu - 0abf5e4a70a91c0bef7ed7fd09d78e1d49404016 authored over 7 years ago
HoleEdit: Refactor/style

github.com/lamdu/lamdu - 4b6d9a468382e7682a8a95e1327eac9261632f12 authored over 7 years ago
Add hacky (but useful for debugging) Show instances

github.com/lamdu/lamdu - 1be42c4448a4e9381b4e8c771fc2ea51206aa8cf authored over 7 years ago
Expression ids go to the exprs themselves, not a leaf

github.com/lamdu/lamdu - 00f5c74d69596db9da35bc6f719781c893e2e74c authored over 7 years ago
Hover: Add TODO

github.com/lamdu/lamdu - f60e96a6fbce6d4e655c2e775649de9744200a01 authored over 7 years ago
Open bracket and close bracket keys open and close wrapper holes.

Looks like the close bracket should also apply hole-pickers too -
so that writing "fac(x-1)" doe...

github.com/lamdu/lamdu - f8fdb5a0acb5193d326e6f50738f896a092b1931 authored over 7 years ago
HoleEdit.Open: Reuse precedence mechanism

github.com/lamdu/lamdu - 9c6eb84b4bd8cff23fa01123faff97b40c789afe authored over 7 years ago
operators work according to precedence everywhere (not just for hole results)

this changes the way "factorial" is typed -
in "factorial (x-1)" one needs to press space on the...

github.com/lamdu/lamdu - 54fe64fe7ba3b743e3ae4c1f0936eb7d3911e103 authored over 7 years ago
trying a new visual design for records

github.com/lamdu/lamdu - 758906fa63b7217936cbfc5a456f96cb94398c61 authored over 7 years ago
Extract char precedence code from CharClassification to Lamdu.Precedence

github.com/lamdu/lamdu - 4932dc808c78acf5ee3c539fd2ffe1c9aa30e218 authored over 7 years ago
Allow adding cursor to a cursor-less database

github.com/lamdu/lamdu - ccd00cf8c74a23455ca59f23d1b08a08c3d7b154 authored over 7 years ago
Add cursor to Db again, specify that as the cursor storage

github.com/lamdu/lamdu - 567ae4620f9222889a76a84936b9b09432a29698 authored over 7 years ago
MainLoop: Allow CursorStorage to be specified

github.com/lamdu/lamdu - 82f309f0536752d35fa32ba5bfe9b89412484548 authored over 7 years ago
MainLoop: Split cursor IORef into 2 iorefs

github.com/lamdu/lamdu - c73b0ac380d1b2c700e116589def2a8f52d7c5c7 authored over 7 years ago
fix duplicated actions which show twice in help

same events were added twice in HoleEdit.SearchArea.makeStdWrapped which added them
after alread...

github.com/lamdu/lamdu - b68b2c692b5697c0266788661e4c6038395c301f authored over 7 years ago
fix search term of inject

was "[]" ever since 6fbe19938462, but now that it has the ":" character to signify it, that shou...

github.com/lamdu/lamdu - c6cf88fcc16931c3b9f988a37313395a24f2c9ac authored over 7 years ago
Fix precedence bugs introduced in "Lamdu.Sugar.Parens: Don't mix up built-in precedences with operator ones"

Bug can be noticed when typing "2*3+4*5"

(refernced commit 596c2b89ff79c8270237875694c4f00d14ce...

github.com/lamdu/lamdu - 4a6f00f0c4ae2d03c42fbeff081ed2f04c35d852 authored over 7 years ago
oops only block operators on search term itself

(fix bug introduced in prev commit)

github.com/lamdu/lamdu - 37d5a13fc78578ca035f1ec47bec1f83fe62607a authored over 7 years ago
hole search term blocks operators when has non-operator text

fixes https://trello.com/c/bKv04ezF/295

github.com/lamdu/lamdu - 908b49391e1b43642492028a83be3309d297f422 authored over 7 years ago
Open holes with no results block operator chars

This is a temporary solution until holes with no results conjure more
"did you mean" results in ...

github.com/lamdu/lamdu - 38b3afff16a6e78bda9f03272a33fff3c4c86f17 authored over 7 years ago
Data.Store.Transaction: Is an instance of Monoid in the standard way

github.com/lamdu/lamdu - e0b6e452608b0f127535f2790e7fe8268115510d authored over 7 years ago
Names starting with digits are also 'reserved'

Fixes https://trello.com/c/beNIcUfC/244

github.com/lamdu/lamdu - 027fb24597a2e4e29669bb137b415f1bfce986da authored over 7 years ago
Formatting: Escape backslashes

* They're used to escape some chars but weren't themselves escaped

github.com/lamdu/lamdu - 0759bdd27faf8fab68e208758a1c488fc8325d43 authored over 7 years ago