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

Add test for #189

github.com/lamdu/lamdu - 8ed0282f25084c4b5fe838574fe8425cc8d2bad4 authored over 1 year ago by Eyal Lotem <[email protected]>
Use Lens.generateRecordSyntax option for build time faster by ~1sec

(on my machine, not very accurate measure)

github.com/lamdu/lamdu - 0d1ac402dd9a0a5b42fabfc216ca13ae49441492 authored over 1 year ago by Yair Chuchem <[email protected]>
Use GHC 9.4.7

github.com/lamdu/lamdu - d200c58b8f8214f2cd1724af46f3cbe965b57bcf authored over 1 year ago by Yair Chuchem <[email protected]>
Create fragment by typing question mark (fix #157)

github.com/lamdu/lamdu - 0286fa6300b1d7185dbf3ef486847865a7a59b14 authored over 1 year ago by Yair Chuchem <[email protected]>
GA(deps): Bump actions/cache from 3.3.1 to 3.3.2

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

github.com/lamdu/lamdu - daccb851726faef03093465c0ecc62c8a7c8d944 authored over 1 year ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
GA(deps): Bump actions/checkout from 3 to 4

Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4.
- [Release notes](htt...

github.com/lamdu/lamdu - c3fff94958c8f6314a087abd9a3c0e6a891b0463 authored over 1 year ago by dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Use GHC 9.4.5

github.com/lamdu/lamdu - b2041962c568643553f191b0b636c19be69cd95f authored over 1 year ago by Yair Chuchem <[email protected]>
Update text-trie (can now build with GHC 9.4)

github.com/lamdu/lamdu - cd04d0438174f58000a10809b646867065bdec40 authored over 1 year ago by Yair Chuchem <[email protected]>
Update stackage resolver to lts-21.4 (GHC 9.4.5) and fix GHC 9.4 warning

github.com/lamdu/hypertypes - 93844c6d5fafd6041de0f78a9c8246cdb29fdbeb authored over 1 year ago by Yair Chuchem <[email protected]>
Fix outdated tutorial in README (#220)

github.com/lamdu/lamdu - 70e212cdadf98e22511268dab34fcec288135e74 authored over 1 year ago by Yair Chuchem <[email protected]>
Ignore .vscode folders

github.com/lamdu/momentu - ac4b7ec39313a8ce3f61d49c70ae272fdffd378d authored over 1 year ago by Yair Chuchem <[email protected]>
Fix #200 and failing test

github.com/lamdu/lamdu - 56d2ca4544a52aaa93cbe8e005a6cdab929aedf1 authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test for https://github.com/lamdu/lamdu/issues/200

github.com/lamdu/lamdu - d410dfd6356a1cd0d6ccc55d38ea8601410d94e9 authored over 1 year ago by Yair Chuchem <[email protected]>
debug.printCursor option also prints uuid's hex values

github.com/lamdu/lamdu - 90467da78abde87ab3431670730ec7909f5afe67 authored over 1 year ago by Yair Chuchem <[email protected]>
Use momentu/GLFW branches to fix handled keys also being translated to char events.

Fixes https://trello.com/c/SmzcogVP/519-alto-on-mac-both-opens-record-and-types-a-character

github.com/lamdu/lamdu - eefb552027ca2d44a5b56095818dcafbb847d222 authored over 1 year ago by Yair Chuchem <[email protected]>
Handled key events are not translated into duplicated char events (based on patch in underlying GLFW fork)

github.com/lamdu/momentu - e1254f3e76539e0d4fe72cc86dccbd5440e443cc authored over 1 year ago by Yair Chuchem <[email protected]>
Attempt to fix Windows CI failures

According to advice at https://github.com/msys2/MINGW-packages/issues/11731#issuecomment-1140123...

github.com/lamdu/lamdu - e63f72e5d050ffbc54c378f4b869d53e7d2a86bf authored over 1 year ago by Yair Chuchem <[email protected]>
Events lookup done on main thread, processing still in separate event processing thread

Now the eventHandler provided by Main.Animation.eventAnimLoop properly returns whether there was...

github.com/lamdu/momentu - 869bc28a2c64e426f22778aaf9f7186929bc26bf authored over 1 year ago by Yair Chuchem <[email protected]>
TypeView: Fix display of open record with no fields

github.com/lamdu/lamdu - 709b7c10771e2430fc95196605aeb514f446a199 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix skolem escape checks for to-nom (hypertypes lib update)

github.com/lamdu/lamdu - 9ff87e869ebedc94c20df607c7a462fff0ad3e3e authored over 1 year ago by Yair Chuchem <[email protected]>
Fix skolem escape checks for to-nom

The to-nom parameters come from outside and needed be initialized with the outer scope.

github.com/lamdu/hypertypes - 3d72e03552f9a0411a9b1f57e06f40487c3e12f9 authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test for undetected skolem escapes

github.com/lamdu/hypertypes - cc12fb1e33a4092a99db08907f507e886c08768e authored over 1 year ago by Yair Chuchem <[email protected]>
Add comments and DRY

github.com/lamdu/hypertypes - 1f5e5d4fc2eaa8afd84cbe83a3276996847ed389 authored over 1 year ago by Yair Chuchem <[email protected]>
Code style changes.

Some unimportant style changes looks better when considering how fourmolu formats things.
Stylis...

github.com/lamdu/hypertypes - 4bb7314c6237c3a869557d956f4296d0acce239d authored over 1 year ago by Yair Chuchem <[email protected]>
Tests: nicer assertions on errors, unicode not escaped

github.com/lamdu/hypertypes - 8c7721e394616d4ee18074f5936d205ad5176307 authored over 1 year ago by Yair Chuchem <[email protected]>
Code reads better with do-notation

github.com/lamdu/hypertypes - 01abdc6b719a0493b1df906ef76e0b19525129cc authored over 1 year ago by Yair Chuchem <[email protected]>
Tests: Parameterize mutType to helper

github.com/lamdu/hypertypes - 1df00b973c3d0a978e46d6827c9e11a6677cd5b4 authored over 1 year ago by Yair Chuchem <[email protected]>
Tests: extract tests into different modules

github.com/lamdu/hypertypes - 88126b0a1edf2e84fcd779e1e0a478ee8d32d41c authored over 1 year ago by Yair Chuchem <[email protected]>
Wording for type errors. Spanish and Italian still Google-Translate

github.com/lamdu/lamdu - 2464f31087f53148da9196028fad0a22868c39a6 authored over 1 year ago by Yair Chuchem <[email protected]>
Format using fourmolu c2af95bce0cd

github.com/lamdu/hypertypes - febc2d2d07c9104ad84fa81d5664a7ba6f8f8a80 authored over 1 year ago by Yair Chuchem <[email protected]>
Show limited info on type mismatch due to constraint

github.com/lamdu/lamdu - 5bf3a3423ec003c47074fde9eaffa99dab80a4fd authored over 1 year ago by Yair Chuchem <[email protected]>
Show info on occurs error

github.com/lamdu/lamdu - e949984f74f469a221bb746d9df1716ab0f7d90a authored over 1 year ago by Yair Chuchem <[email protected]>
Extract Walk instance

github.com/lamdu/lamdu - 9c49d55f584c15b389f23d092ca1d676dc83102a authored over 1 year ago by Yair Chuchem <[email protected]>
Show info on skolem type variable escapes

github.com/lamdu/lamdu - 0f6969a5ac082e606b4210c8cee5d12de694fe87 authored over 1 year ago by Yair Chuchem <[email protected]>
PureInfer error type is (T.TypeError # UVar), will allow Lamdu to elaborate on escaped skolems

github.com/lamdu/lamdu-calculus - 21332a4c1576ad028bbb693b23e8943089256ef8 authored over 1 year ago by Yair Chuchem <[email protected]>
Extract parameter out

github.com/lamdu/lamdu - c9f6dfb813102713177dbd43155f329d11abee99 authored over 1 year ago by Yair Chuchem <[email protected]>
Update deps

github.com/lamdu/lamdu - 0d080696f6cf14485f363cc63023202c749a294b authored over 1 year ago by Yair Chuchem <[email protected]>
More succinct names for blame tests

github.com/lamdu/hypertypes - 6210281dad73c1f7bbcd6e8c208eac54870f1ef1 authored over 1 year ago by Yair Chuchem <[email protected]>
Convert tests to proper test suite using tasty

github.com/lamdu/hypertypes - 3b17c92fe2adcb72934f8bb2162a574695b5ad92 authored over 1 year ago by Yair Chuchem <[email protected]>
PureInfer error type is (T.TypeError # Pure)

github.com/lamdu/lamdu-calculus - 3c22d4131acacd0e2a8ef244122ca5522130c7a0 authored over 1 year ago by Yair Chuchem <[email protected]>
runInferResult: Use do-notation, record syntax and add comment

github.com/lamdu/lamdu - cbb26d362afeefa486cf89e29e7cead6851fec50 authored over 1 year ago by Yair Chuchem <[email protected]>
Update deps

github.com/lamdu/lamdu-calculus - 93a80fc9c4c36c38a6f055b01f449acc7bc55754 authored over 1 year ago by Yair Chuchem <[email protected]>
Reuse WithConstraint. Simplifies type of function exported only for SPECIALIZE pragrmas

Updated version for changed type which is possibly breaking.

github.com/lamdu/hypertypes - 354ac7be8dc1b15a8df9b94ff010054ec2b31da8 authored over 1 year ago by Yair Chuchem <[email protected]>
Update stack resolver

github.com/lamdu/hypertypes - 81272460a1f5a102743645d38dbb0e471c989e9b authored over 1 year ago by Yair Chuchem <[email protected]>
Elaborated type errors minimum viable implementation

Shows message for skolems.
Wording is rough and translation to Italian and Spanish is blatant Go...

github.com/lamdu/lamdu - 534964244789035eb8d26e8971736633fc3dac5b authored over 1 year ago by Yair Chuchem <[email protected]>
TypeMismatch reason field towards expanding on various error types

github.com/lamdu/lamdu - 8bf797d2df4fea065908b191e9ff14e56300ad96 authored over 1 year ago by Yair Chuchem <[email protected]>
TypeMismatch newtype towards adding additional info like skolem escape etc

github.com/lamdu/lamdu - 62578a8a68a4621233f4016fa4a09942201b1b4e authored over 1 year ago by Yair Chuchem <[email protected]>
Another parameter unnecessarily in monad

github.com/lamdu/lamdu - 1e6903c7ef96e06f13052de66cbec106c59ed13e authored over 1 year ago by Yair Chuchem <[email protected]>
addInferredType gets only input it needs

github.com/lamdu/lamdu - ad675140d8268221fe19e815ec509271a4dc36aa authored over 1 year ago by Yair Chuchem <[email protected]>
Avoid parameter in monad unnecessarily

github.com/lamdu/lamdu - b91817054722abbac7835123d82f1b1f416b879b authored over 1 year ago by Yair Chuchem <[email protected]>
checkTypeMatch returns info on type error towards explaining skolems etc

github.com/lamdu/lamdu - f2ee3116721292252b238e3da95deb15bdf12df4 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix red cursor bug and failing test

github.com/lamdu/lamdu - ce26830f2393bcf936483df0ce447d5305fb5ed5 authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test for https://trello.com/c/P1Uhtmgb/528-red-cursor-when-deleting-this-field

github.com/lamdu/lamdu - 62f503eec920c8e401df46483fa0d71110a11ab5 authored over 1 year ago by Yair Chuchem <[email protected]>
Fixed behaviour of open-record when adding first field would delete whole record

This behaviour was in since 3957ce8e21e0921683d1da48094cb7254e453d7d
Also added a test for the f...

github.com/lamdu/lamdu - 9ba949c3b0ed4c2dc58905e6da21b4629a9b94b8 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix regression in let floating in 713eda299e39

github.com/lamdu/lamdu - 9a21e8a03c927c6cadc07ea5fc8c97957018d461 authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test for regression in let-item floating in 713eda299e39

github.com/lamdu/lamdu - b178bf9728d7320f713ab08fe41c6ab962395ad0 authored over 1 year ago by Yair Chuchem <[email protected]>
Add missing post-process, fixes failing test

Also avoid re-wrapping fragments.

github.com/lamdu/lamdu - 01bac20a55b839253364a4b7f14809f35bb36dde authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test

Swap between args sometimes failed.
Was actually the case since implemented in 716cc839f6761acb5...

github.com/lamdu/lamdu - 0913409db18507aadfb96c0fb64751d0726a2ed3 authored over 1 year ago by Yair Chuchem <[email protected]>
Add some HasCallStack for top-level calls

Shouldn't slow things down and will help debug failing tests

github.com/lamdu/lamdu - d653b9560ec06bdd86079c15a9da4b1a0b248579 authored over 1 year ago by Yair Chuchem <[email protected]>
Float-let-item is separate action from extract body.

Extracting body of let creates a new inner let.
Fixes issue captured in AoC livestream at https:...

github.com/lamdu/lamdu - 713eda299e3907c6109dddc9703c8a4e69f8e579 authored over 1 year ago by Yair Chuchem <[email protected]>
Extract traversal

github.com/lamdu/lamdu - ef988064ea3edb01524e1a2adf5bcc70d35d6549 authored over 1 year ago by Yair Chuchem <[email protected]>
Remove redundant variable

Also name was misleading and now only deleting variable inside binder (was doing extra work)

github.com/lamdu/lamdu - d0ffd391e65862cbacf30de55aaf515800d53acb authored over 1 year ago by Yair Chuchem <[email protected]>
Add missing intermediate float-let positions

With the following code:

let a = 1
let b =
let c = 2
3
4

With curs...

github.com/lamdu/lamdu - e9ff17d884f494bb6d7878f565201662f55c92bb authored over 1 year ago by Yair Chuchem <[email protected]>
Move assertion closer to source

github.com/lamdu/lamdu - d6b4fcb6ab03543913622a2062d36f95fe960ba8 authored over 1 year ago by Yair Chuchem <[email protected]>
Extract modules out of Convert.Expression.Actions and rename to Convert.NodeActions

github.com/lamdu/lamdu - 572e44dc3ce7ebebc440824dfed434496115262a authored over 1 year ago by Yair Chuchem <[email protected]>
Lighter simpler presentation-mode UX

Instead of small drop-down just a dot.

Future possibilities:

* Make LHS look like operator app...

github.com/lamdu/lamdu - a48daa74b94572448f5cb6e31e25a230ff801fee authored over 1 year ago by Yair Chuchem <[email protected]>
Remove presentation mode edit

github.com/lamdu/lamdu - cbaf9ee388da627e1a68e3daa42ba7dc750ec4b6 authored over 1 year ago by Yair Chuchem <[email protected]>
Can type new definition name instead of clicking on "New Definition"

github.com/lamdu/lamdu - 80a06bfb8408ba67c7d2a1398f45d36ad0dc05c7 authored over 1 year ago by Yair Chuchem <[email protected]>
Nitpick: remove unneeded extensions

github.com/lamdu/lamdu - 5f58106d56a60ccdff6523a878bf2d72ccc90208 authored over 1 year ago by Yair Chuchem <[email protected]>
Pre-events applied also on navigation!

github.com/lamdu/lamdu - 8836c871b4940d01e2412883ba72b4e819a70dc9 authored over 1 year ago by Yair Chuchem <[email protected]>
Navigating right in hole result goes to part right to part that fits search term

github.com/lamdu/lamdu - 3f842569ecdf2f1edeb229f66a429eb72ec4db06 authored over 1 year ago by Yair Chuchem <[email protected]>
Search menu: no pre-event when on empty search term

github.com/lamdu/momentu - 07814b1e207049c8ab9f9516e777435b79a20ee7 authored over 1 year ago by Yair Chuchem <[email protected]>
Pre-Events also for navigation

github.com/lamdu/momentu - fea1781fe113f8d13c257b260bd315c3184dcdaf authored over 1 year ago by Yair Chuchem <[email protected]>
Search Menu: left key on options moves cursor on search term

github.com/lamdu/momentu - 551f2fa296d1cf8f223962cb69356289aed34479 authored over 1 year ago by Yair Chuchem <[email protected]>
Simplification: no need to skip pre-events before those were added?

From testing in Lamdu these operations seem to work like before.

Note: Lamdu still uses weakerE...

github.com/lamdu/momentu - 7ed5316b525e1140fd5e4d4f61123f13f59970fd authored over 1 year ago by Yair Chuchem <[email protected]>
Fix bugs with add-field as pre-event

github.com/lamdu/lamdu - 46c00578b0e2055e89e7ef7748e651f5b458bb48 authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing tests for red cursor and crash bugs with record tag pre-events

Bug has been around since at least 835c1b6ec1123,
didn't try bisecting further due to problems c...

github.com/lamdu/lamdu - 5532fe3e16b3dccc886f205c8dc92bfb4305f44b authored over 1 year ago by Yair Chuchem <[email protected]>
Sugar.Composite: Renames, type generalizations and use prisms

github.com/lamdu/lamdu - 74253ede331766b458c2d6ff78762bc594aad16c authored over 1 year ago by Yair Chuchem <[email protected]>
Avoid RankNTypes

github.com/lamdu/lamdu - 5b81572140efd0e6f16747f24c6cf94604993edd authored over 1 year ago by Yair Chuchem <[email protected]>
Defunctionalize parameters to Composite.convert

github.com/lamdu/lamdu - d6a5815c7b75f0e4d48fa31abf877a28b9d3467f authored over 1 year ago by Yair Chuchem <[email protected]>
Fix suggested record tags including tags in record

github.com/lamdu/lamdu - 25b3f8dcfdbb54aba3dd2a099915018d5a5a23d3 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix popups placed out of window boundaries since 4b2c53b4981cbaaef5

github.com/lamdu/lamdu - 3153f24c99ff63efc7cc6c2124d4d38ce29c8453 authored over 1 year ago by Yair Chuchem <[email protected]>
Extract addBackground

github.com/lamdu/lamdu - fb72d868afd4b10622a10f0bdde1879784b5f5e0 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix README typo

github.com/lamdu/hypertypes - b5d9e12403906a56ce98397e76b6b81dfd770822 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix README as type-classes derivations are also sometime available in generic-based derivations

github.com/lamdu/hypertypes - 36a1ae2c2d770920484b8bfe9cceb1f4174a6513 authored over 1 year ago by Yair Chuchem <[email protected]>
WYTIWYS test: prep framework for tests involving more modifier keys

Like the following test:

wytiwys_ "{x⌥L"

(which fails and we need to fix btw)

github.com/lamdu/lamdu - 25f64e30b90710bc44099988d27a3a5f3c7c3d77 authored over 1 year ago by Yair Chuchem <[email protected]>
Wytiwys tests: infrastructure for tests that just check actions are ok (don't verify an evaluation result)

To demonstrate added test equivalent to testJumpToInjectTag.
If adding "& const mempty" at the e...

github.com/lamdu/lamdu - 03bed92baca6ae5dbf5cec22d9cd131cb5769eb7 authored over 1 year ago by Yair Chuchem <[email protected]>
WYTIWYS test: nicer format for key unavailable

'✗' character after key rather than before it,
"2✗" reads as "2 does nothing"

github.com/lamdu/lamdu - 94eafb167cea5743079166f4f16ad4dd4d07c0eb authored over 1 year ago by Yair Chuchem <[email protected]>
WYTIWYS test: way to specify modifier keys

github.com/lamdu/lamdu - d19e9dfa4c7c42283857e59a6982626c6cdf3215 authored over 1 year ago by Yair Chuchem <[email protected]>
Missing lenses

github.com/lamdu/momentu - f40326bf328af1ec093ddae9644c36d245a16a2f authored over 1 year ago by Yair Chuchem <[email protected]>
WYTIWYS tests: separate events parsing from actions

github.com/lamdu/lamdu - e8b754186283dfb02cd6d769baede82148f1344a authored over 1 year ago by Yair Chuchem <[email protected]>
Extract charKey

github.com/lamdu/lamdu - e74284200a7fa7378358273deb4d8132fc592a75 authored over 1 year ago by Yair Chuchem <[email protected]>
Test: extract wytiwysCompile

github.com/lamdu/lamdu - 9fb52f5635de4b230b891e6a0a7b3213b7bd7ff7 authored over 1 year ago by Yair Chuchem <[email protected]>
inline-c-objc now comes from Hackage

github.com/lamdu/lamdu - f2c4590373e13a4dcc7c70e62fdf55b8fcfb5b33 authored over 1 year ago by Yair Chuchem <[email protected]>
inline-c-objc now on Hackage

github.com/lamdu/momentu - 7fd70a2d01861feeba530ce327601ffd8a57e010 authored over 1 year ago by Yair Chuchem <[email protected]>
Fix #219

github.com/lamdu/lamdu - bdeab23ed4e7e487262ca14d5aca67a27e44beda authored over 1 year ago by Yair Chuchem <[email protected]>
Add failing test for #219

github.com/lamdu/lamdu - 3023c490d6ff18530f38e5c8145d344cea5dc553 authored over 1 year ago by Yair Chuchem <[email protected]>
jumpToSource: properly support vs code as EDITOR

github.com/lamdu/lamdu - 25d3ff78aeeebe0db9e494eb2cfe07e02a71634c authored over 1 year ago by Yair Chuchem <[email protected]>
Momentu changes

github.com/lamdu/lamdu - 749a4e59c4d114add5dc1d76382a9386da4cbb99 authored over 1 year ago by Yair Chuchem <[email protected]>