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

Use Lens.iso

github.com/lamdu/momentu - d15a177f2450d23204ea1047ab2fb8fe26f1f361 authored over 2 years ago by Yair Chuchem <[email protected]>
Case alternatives separated by commas, more WYTIWYS

github.com/lamdu/lamdu - 2096079783db0a2b140794b57672dd237d365598 authored over 2 years ago by Yair Chuchem <[email protected]>
Jump to tag also for nullary inject

github.com/lamdu/lamdu - c4be14218b30335b576ab7726b874d19c80c9710 authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test to jumping to tag from inject

Broken since 70348d19695be306abb77e, reverting that fixes this (kind-of *1)
but breaks the test ...

github.com/lamdu/lamdu - 36e1c4c29de4cde7446bc0688fd562038d67c6cb authored over 2 years ago by Yair Chuchem <[email protected]>
Can jump to tag from inject (fixes failing test)

github.com/lamdu/lamdu - dd1b236c8484cf130f180d382319d71775fa36ff authored over 2 years ago by Yair Chuchem <[email protected]>
Add passing WYTIWYS test

github.com/lamdu/lamdu - 4bc56f85c4ecdb63d6ef351df6b99ca0d346c239 authored over 2 years ago by Yair Chuchem <[email protected]>
WYTIWYS tests: left arrow is just left key, different char for shift-left

github.com/lamdu/lamdu - 8203634d2226821e0ec8af8139bed79f8bb8228e authored over 2 years ago by Yair Chuchem <[email protected]>
Fix anim id clash with indented record items

github.com/lamdu/lamdu - e614d2224da4603c07d2c7515a8ce463ce4cccba authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test for anim id clash

github.com/lamdu/lamdu - 7a1c73f2f6ec2cb99e17eecd4291f78d0105357e authored over 2 years ago by Yair Chuchem <[email protected]>
Fix for clashing anim ids for indent bars in tagged list items

github.com/lamdu/momentu - 75211f85b3cc992c2c1e83c8a243f684ec6d98c2 authored over 2 years ago by Yair Chuchem <[email protected]>
Don't abort Linux CI if Windows CI failed (and vice-versa)

github.com/lamdu/lamdu - 24396061b0f995a77fb2f2f74be8cedc30f704ec authored over 2 years ago by Yair Chuchem <[email protected]>
Use -fspecialise-aggressively option, speeds up benchmark

Also remove SPECIALISE pragmas which appear no longer necessary for PureInfer.
On my machine all...

github.com/lamdu/lamdu-calculus - 2ac6bafd0657e8aa2728da2ffe8e149137a9782b authored over 2 years ago by Yair Chuchem <[email protected]>
Minor cleanup/todo

github.com/lamdu/lamdu - be7e5e03cfe402ae6bac0d9e5f20f53657ec03ae authored over 2 years ago by Yair Chuchem <[email protected]>
Extract Sugar.Types.Lhs module

github.com/lamdu/lamdu - af6ef4877776a9a81279bdd5508b5fbb5fd9bb7d authored over 2 years ago by Yair Chuchem <[email protected]>
Remove dead-code, NullParamActions unused since c7bb88509fb

github.com/lamdu/lamdu - 9740e879fdd86be08dea4d5fdee0d65ac9b6bb69 authored over 2 years ago by Yair Chuchem <[email protected]>
Extract Types.TaggedList module

github.com/lamdu/lamdu - 2d1cfd3e31080c6a55d9d66d5e5bbaf20bec1c3f authored over 2 years ago by Yair Chuchem <[email protected]>
Add comments to describe the sugared terms

github.com/lamdu/lamdu - 8983df0815a036b88a9287227ba4d153a1ffd407 authored over 2 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 3.0.3 to 3.0.4

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.3 to 3.0.4.
- [Release notes](h...

github.com/lamdu/lamdu - f8b4958499188e739b1b3793f5b8230c13546674 authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
shorter names for CI jobs

github.com/lamdu/lamdu - 012a62b6710689faf2dbde6c84d03038932b22b0 authored over 2 years ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 3.0.2 to 3.0.3

Bumps [actions/cache](https://github.com/actions/cache) from 3.0.2 to 3.0.3.
- [Release notes](h...

github.com/lamdu/lamdu - 239ee86c72e47aa305d06177d32340897c77af9a authored over 2 years ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
CI also on Windows

Windows isn't a dev env we often use so this should help guard against code-rot,
and also allow ...

github.com/lamdu/lamdu - 5bf1c32697a8de971b749bdb863fd83a77201c75 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix windows build of bindings-freetype-gl dependency

github.com/lamdu/lamdu - 0613d7d2e19e0f86e176b53f495fdd32e0bfd28d authored over 2 years ago by Yair Chuchem <[email protected]>
Use stack exec to run bash on Windows

Anyone using Haskell on Windows is likely using stack so it should work

github.com/lamdu/bindings-freetype-gl - 8d311d96c5fa7fcfb5b79d057c9c24944d5d234b authored over 2 years ago by Yair Chuchem <[email protected]>
Initial CI to check build on Windows (Linux and macOS checked on dev machines)

github.com/lamdu/bindings-freetype-gl - 08926828ff8a455bb833e782db228142600d0bee authored over 2 years ago by Yair Chuchem <[email protected]>
Add note on msys2 issue

github.com/lamdu/lamdu - fbc95628ec90299a6b738ec89f88d6d4bbb363b4 authored over 2 years ago by Yair Chuchem <[email protected]>
Thanks to sponsors and contributors

github.com/lamdu/lamdu.github.io - 1851c8cfcdb81791dcc8ef7000f10ee0d741b2ae authored over 2 years ago by Yair Chuchem <[email protected]>
Content updates

github.com/lamdu/lamdu.github.io - 0147de92bc7579a4331d7c07be5264c624325922 authored over 2 years ago by Yair Chuchem <[email protected]>
Release version 0.8.1

github.com/lamdu/lamdu.github.io - c92eeaf3530e8e46459f2e5a646b8ccccd42058a authored over 2 years ago by Yair Chuchem <[email protected]>
Fix Windows installer build

github.com/lamdu/lamdu - 815d27cb31c20ab7ede97953c6c008f97cefc6d3 authored over 2 years ago by Yair Chuchem <[email protected]>
Add missing dependencies for benchmark

github.com/lamdu/lamdu-calculus - cb7c07b739431921b74d31077af36c1069923acc authored over 2 years ago by Yair Chuchem <[email protected]>
Repl result added to right of equals in vertical layout

github.com/lamdu/lamdu - 5411bcf9029022c7c2dec60cb4bc34be6f02cefd authored over 2 years ago by Yair Chuchem <[email protected]>
Gui.Definition: Extract makeAddResultWidget

github.com/lamdu/lamdu - e2a2b1101bb3316a7e829fa6445167fe38f0ba94 authored over 2 years ago by Eyal Lotem <[email protected]>
Extract makePlainLhsEventMap

github.com/lamdu/lamdu - 5ff133726a452d9fa0403ca9cc49e0179a86d9c3 authored over 2 years ago by Eyal Lotem <[email protected]>
Refactor: inline makePlainLhs

github.com/lamdu/lamdu - 396919916744450b3d4cbc534462fa0787917c55 authored over 2 years ago by Eyal Lotem <[email protected]>
AssignmentEdit.layout: Takes a responsive, not a list

github.com/lamdu/lamdu - 5904dfe45ee88dc5b8016e8923e26d4be1fd19cd authored over 2 years ago by Eyal Lotem <[email protected]>
Refactor assignCursor outside of cases

github.com/lamdu/lamdu - 5a448d037b042a1dfc5fafdf331ede83a4afe029 authored over 2 years ago by Eyal Lotem <[email protected]>
Gui.Definition: Indent do modifiers according to emacs parsing rules

github.com/lamdu/lamdu - b06158107141c8bcb85062d5f1cfa7ad2f2fb410 authored over 2 years ago by Eyal Lotem <[email protected]>
make_archive uses more robust method for checking which libs to bundle on macOS

github.com/lamdu/lamdu - 41bed516cc2c46c772be478b407d272ff1d05603 authored over 2 years ago by Yair Chuchem <[email protected]>
momentu: Undo the error callback which spams in MacOS

github.com/lamdu/lamdu - 3c06b40ef6742b759714e359ab11c7d7fe3efd25 authored over 2 years ago by Eyal Lotem <[email protected]>
Revert "GLFW error callback before init"

This reverts commit 98b75991e778da56bae31fd49a2c2f9ac266f30a.

github.com/lamdu/momentu - a83a5978798c355d510d2e1fa7e2d8c73ba81078 authored over 2 years ago by Eyal Lotem <[email protected]>
Bump momentu: Yields error message for failed glfwInit

github.com/lamdu/lamdu - 54d75bf55dc6e89676d716be0380d0ebc4359519 authored over 2 years ago by Eyal Lotem <[email protected]>
Informative init error

github.com/lamdu/momentu - 6edd1bbc59812a4389dd98a34ae8cd27ee529b44 authored over 2 years ago by Eyal Lotem <[email protected]>
make_archive: Sort/dedup the interestingLibs

github.com/lamdu/lamdu - 4fbc9c12ad638ced02546e6325f24682484766e2 authored over 2 years ago by Eyal Lotem <[email protected]>
GLFW error callback before init

github.com/lamdu/momentu - 98b75991e778da56bae31fd49a2c2f9ac266f30a authored over 2 years ago by Eyal Lotem <[email protected]>
Hebrew exportDefToJS is הגדרה not שורת פקודה

github.com/lamdu/lamdu - ac15517503e4e881a36817a04947af0a2274cc4b authored over 2 years ago by Eyal Lotem <[email protected]>
Remove dead code

github.com/lamdu/lamdu - f8d3a28bd7f119efbc0fcbc492898c675b98c527 authored over 2 years ago by Eyal Lotem <[email protected]>
Fix make_archive macOS after switch to RocksDB

github.com/lamdu/lamdu - 4e18083cdd540ac6319ec5c4b14309b08b64d0d9 authored over 2 years ago by Yair Chuchem <[email protected]>
CI for creating Linux installers for release tags

github.com/lamdu/lamdu - 7254862f38ff158cbe0306130ea87c330c54f526 authored over 2 years ago by Yair Chuchem <[email protected]>
Build make_archive script via stack/cabal

github.com/lamdu/lamdu - efd05701034f40f7509ee6ce7b4a5d7bb6a8ba90 authored over 2 years ago by Yair Chuchem <[email protected]>
Simplify "--version" option, doesn't include git hashes etc

github.com/lamdu/lamdu - a44cf1574ff9963f476e3595d9ffcf3711c5d103 authored over 2 years ago by Yair Chuchem <[email protected]>
Revert "Remove Lamdu.Version"

make_archive.hs depends on the --version option

This reverts commit d3edf0388b06c8d646a15a4c5b5...

github.com/lamdu/lamdu - c597260ea092b71fee3062c1cf5b7bf58e1fe683 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib exec function returns stdout. Useful for scripts

github.com/lamdu/lamdu - 8943e30cb1ff7e03a8754c590b3b046fbb1480f1 authored over 2 years ago by Yair Chuchem <[email protected]>
Stdlib current-work-dir action

github.com/lamdu/lamdu - 77c2977f0240bd3676b3ac6a2393ae0f3fbbfed6 authored over 2 years ago by Yair Chuchem <[email protected]>
Oops accidentally broke running actions in prev commit

github.com/lamdu/lamdu - 4d2685041253ac2810dd964cbc72b58238992daf authored over 2 years ago by Yair Chuchem <[email protected]>
Bring back export to JS feature accidentally removed in e9e54b0e37

github.com/lamdu/lamdu - fa50d2a64049df53282e667d7e9bd43d21aac5d4 authored over 2 years ago by Yair Chuchem <[email protected]>
Dead code police using weeder

weeder seems to half-work here, but did give good leads

github.com/lamdu/lamdu - c377c6a6384f9b29cf8e361a452a475fc24e308d authored over 2 years ago by Yair Chuchem <[email protected]>
Remove dead code

github.com/lamdu/lamdu - 39c15a1a90b17eead57dd085a3a8543a460cd368 authored over 2 years ago by Yair Chuchem <[email protected]>
Remove import-repl-from-json command, can use cmd-line or drag-and-drop

Mostly if an export.json file doesn't exist it will crash which isn't nice bahviour.

github.com/lamdu/lamdu - 116f77a1b469f46328795a386fcb53ab1472e429 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix JS deprecation warning

github.com/lamdu/lamdu - afe1b3c8fdbac11fd55d6ab200ebd13e6aa2c8b9 authored over 2 years ago by Yair Chuchem <[email protected]>
New repl look

github.com/lamdu/lamdu - db4a7311cdbacc657cf7ae0bf63fc0d65d58a396 authored over 2 years ago by Eyal Lotem <[email protected]>
Goto-definition index doesn't include deleted definitions

github.com/lamdu/lamdu - 8d5066d2bd887d4dfdfe1dbe9543b61779454fc2 authored over 2 years ago by Yair Chuchem <[email protected]>
No layout change when navigating to repl symbol to name it, pretty hacky

github.com/lamdu/lamdu - e5af880efb4a384bdf1e761e11e3d8c4a8d51bcd authored over 2 years ago by Yair Chuchem <[email protected]>
Plain definitions have result indicators like normal repls.

Indicator may float to the right in case the LHS is layed out vertically

github.com/lamdu/lamdu - 39517182a10799d60a4c22f0e69801b6fb4d8e35 authored over 2 years ago by Yair Chuchem <[email protected]>
Now that navigating to repl chooses name event map on it no longer necessary

github.com/lamdu/lamdu - fdc4027bd521f4522734624ec2f6df5204e57e78 authored over 2 years ago by Yair Chuchem <[email protected]>
add comment

github.com/lamdu/lamdu - 6514d668ace04a029798eaeec993b58f9dc6c0a2 authored over 2 years ago by Yair Chuchem <[email protected]>
Geometric nav to repl directs cursor to tag hole edit

github.com/lamdu/lamdu - d3a24140954d095777e22e6b86c47a9bb4af10fb authored over 2 years ago by Eyal Lotem <[email protected]>
HoleEdit: Remove trailing whitespace

github.com/lamdu/lamdu - fb5cb07893ca37674574e6efcbb51af3c881fcfe authored over 2 years ago by Eyal Lotem <[email protected]>
Hole: Fix typing chars erasing hole search term in some cases

For example typing "===3" would had result in the literal 3, ignoring the previously typed text

github.com/lamdu/lamdu - 9781f4e96966e911d42c2ae8e9f8447a3f835a24 authored over 2 years ago by Yair Chuchem <[email protected]>
Disallow empty name for new tag

github.com/lamdu/lamdu - 4b65d45b0c4f5ffe28ee9224aaeee815c450fef6 authored over 2 years ago by Eyal Lotem <[email protected]>
Remove Lamdu.Version

github.com/lamdu/lamdu - d3edf0388b06c8d646a15a4c5b5d752ba8287163 authored over 2 years ago by Eyal Lotem <[email protected]>
Rename: Name.isValid{=> Search}Text

github.com/lamdu/lamdu - 12a531f6e77feb5853519c7dc3ac58d6514b2f29 authored over 2 years ago by Eyal Lotem <[email protected]>
Repl directs cursor to tag hole edit

github.com/lamdu/lamdu - 42cfd467dcf4efeed14d3ece158f7479cad77803 authored over 2 years ago by Eyal Lotem <[email protected]>
Update momentu to fix failing test

github.com/lamdu/lamdu - e1452407989999dc31fff4786adffee24aefe76f authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test for navigating back to no results widget and pressing backspace

github.com/lamdu/lamdu - 89e29705aeaf25b5e3c88f6ec0cf9862916c6495 authored over 2 years ago by Yair Chuchem <[email protected]>
Tests: Use simple unicode arrow

github.com/lamdu/lamdu - d9ad109036acd42a4bb80cee72baf357d236d34d authored over 2 years ago by Yair Chuchem <[email protected]>
Menu no-results widget has results prefix

github.com/lamdu/momentu - 1a215fbafab015578ecc34b8d6e21a572f1168c3 authored over 2 years ago by Yair Chuchem <[email protected]>
Oops fix warning

github.com/lamdu/lamdu - 1d62924db8cd605304cccc3a3787a6094c86e407 authored over 2 years ago by Yair Chuchem <[email protected]>
Add failing test for red cursor bug

github.com/lamdu/lamdu - 423020ab1916cadeb3162a91a3c00db9aaeb6c99 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix red cursor bug, navigation to repl symbol shows the name, allowing to discover its name-ability

github.com/lamdu/lamdu - e04566714ed66bf2a39dee9c9dccc065fe48248d authored over 2 years ago by Yair Chuchem <[email protected]>
Default cursor on new definition is on picking name

Fixes discoverability of typing "factorial x = ..." since multi-repl change

github.com/lamdu/lamdu - 433749ce91ac3e1840dca9b140b4dc9ca04808f0 authored over 2 years ago by Yair Chuchem <[email protected]>
Revert "Fix anim id clash bug"

This reverts commit 8d9492e5c68e294cb24c72e554005258e2e74c4e.

github.com/lamdu/lamdu - 89f2e4e8e34c2a40ce5f5163a07f49ab2eabc460 authored over 2 years ago by Eyal Lotem <[email protected]>
Revert "Fragment UI: Show parens to left of question mark (fixes #152)"

This reverts commit 89a64f804e0bae040ccd00d881fc5971719fec1b.

github.com/lamdu/lamdu - 0344bcbf3d75df6c42478f130794c4a31bbe38d3 authored over 2 years ago by Eyal Lotem <[email protected]>
Fragment parenthesis on all non-atomic args, and outward parens as needed

github.com/lamdu/lamdu - 9db8461c8d025bd2d202bf2fa628ef75a7a5b52e authored over 2 years ago by Eyal Lotem <[email protected]>
Fix parens in right-to-left keyboard mode

The fix in 5bb8d5f2441a72788 was incorrect,
it did make the RTL open paren right when switching ...

github.com/lamdu/lamdu - a0759a35924dd35b26dbb35a555ddc93f41d080c authored over 2 years ago by Yair Chuchem <[email protected]>
Right-to-left inverses annotation neighbor order

github.com/lamdu/lamdu - 45224e81cbb9d241f0b8a208741495d8dce7cc4f authored over 2 years ago by Eyal Lotem <[email protected]>
hlint police

github.com/lamdu/lamdu - 57efd6b43cbe3d2eee23b7017d15700740ad9f5b authored over 2 years ago by Yair Chuchem <[email protected]>
Fix anim id clash when two deleted panes are open

github.com/lamdu/lamdu - dcb1c0b98d07447f8f7114d9c0560c4881294ff7 authored over 2 years ago by Yair Chuchem <[email protected]>
Add a (passing) test

Trying to repro the behaviour that get an anim id clash and other problems when two deleted defi...

github.com/lamdu/lamdu - 9000ea7638c61bbb3854274981d03466e55b0b55 authored over 2 years ago by Yair Chuchem <[email protected]>
Bump version to 0.8.1 towards release

github.com/lamdu/lamdu - 070e68fa4b1b8305cdc8501a1ae9ee24084a2055 authored over 2 years ago by Yair Chuchem <[email protected]>
Export action fails if includes deleted definitions

github.com/lamdu/lamdu - 0e62835241436db6c87a3ac32109b5b3e140b28b authored over 2 years ago by Yair Chuchem <[email protected]>
Generalize liftTIO

github.com/lamdu/lamdu - 5b26893da0aae6ee9874cc280c789cf452a0ca8f authored over 2 years ago by Yair Chuchem <[email protected]>
Eval results: When bytes decode as valid UTF8 also show as text

github.com/lamdu/lamdu - 45a2e081aad674d4991b862d2d28035df5cc9e4b authored over 2 years ago by Yair Chuchem <[email protected]>
Tests: Fix warnings

github.com/lamdu/lamdu - 3e3309d7c3a055d6a385c0de5b8cf07d7504f330 authored over 2 years ago by Eyal Lotem <[email protected]>
Bump momentu -- create window with MonitorInfo

github.com/lamdu/lamdu - b31bb0e926dd8788df8d29f0a9811801f1609f73 authored over 2 years ago by Eyal Lotem <[email protected]>
Momentu: Re-export whole Window module

github.com/lamdu/momentu - dc3f96ec6e7da4ce525b4196057432f50d0409cb authored over 2 years ago by Eyal Lotem <[email protected]>
Window creation gets the millimeter size as well

github.com/lamdu/momentu - d96c07a2ae3a7b1062e85a20b3aa7d397f43d620 authored over 2 years ago by Eyal Lotem <[email protected]>
sys-info: Also print monitor content scale

github.com/lamdu/momentu - 26225a8013cd3f58d6d2e217d2339b1eb4302e4b authored over 2 years ago by Eyal Lotem <[email protected]>
Build: make nix build again

github.com/lamdu/lamdu - 89317e5a71f2cac2f2116ea6727cf1ee321fda31 authored over 2 years ago by Eyal Lotem <[email protected]>
Error and execute indicators are stroll dests (fixes #165)

github.com/lamdu/lamdu - 31d59919d3d237120c9e33ea83d18c1274e1f8b3 authored over 2 years ago by Yair Chuchem <[email protected]>
Fix make_archive.hs to work on macOS >= 11

Since macOS 11 the ".dylib" files in /usr/lib are not real files and cannot be copied.
Therefore...

github.com/lamdu/lamdu - 3334179abaa62ea793210161e5194f4c85b26308 authored over 2 years ago by Yair Chuchem <[email protected]>