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
github.com/lamdu/lamdu - 2080d83f75d4eabac63a6ce5286958228a5a556b authored about 3 years ago
github.com/lamdu/lamdu - aa7690e0f9aae6936e286970e4eae674fe764897 authored about 3 years ago
github.com/lamdu/lamdu - 7c41a06a8eb6d5d3be3362c44324a01ef3c9abf0 authored about 3 years ago
Chose "count" rather than "length" to signify that it actually counts,
rather than an array or t...
And TIL that "digit" is the same in Hebrew and Italian
github.com/lamdu/lamdu - 30697a5989ba55e5a7b5f16512a9f0ff15d7ef5a authored about 3 years agogithub.com/lamdu/lamdu - 44b8c399cb5f366de151e4ddfce9e11efa5e6b6f authored about 3 years ago
For consistency across fold variants
github.com/lamdu/lamdu - ff29b8e4d87c57f1e8f8c8d8ff43ca2141e1a33e authored about 3 years agogithub.com/lamdu/lamdu - 7ffe631b77938d1f2ea0d6159b919cbd09d07fd3 authored about 3 years ago
github.com/lamdu/lamdu - dcbedc4512b995dc1345691c29e3e0a07535bd1b authored about 3 years ago
github.com/lamdu/lamdu - 65134ac48b304e1087ebfb08452f20dd9d3351f1 authored about 3 years ago
github.com/lamdu/lamdu - 2c044a6d8f38d9930762544f4e03906ac6b272aa authored about 3 years ago
github.com/lamdu/lamdu - 20e872550c28b7fd699151b7fc58ada772dea7c9 authored about 3 years ago
github.com/lamdu/lamdu - e9fd402485ea30895f046a4b9381145c89e88737 authored about 3 years ago
github.com/lamdu/lamdu - d7d1a6e83ac46ab7f9813200fa431f47ff56477d authored about 3 years ago
github.com/lamdu/lamdu - cd46879931f8e154bfa409fdb1c92cda5091c9ee authored about 3 years ago
github.com/lamdu/lamdu - cda1f851cff899e506b3d52908b2fd5385cb7d97 authored about 3 years ago
github.com/lamdu/lamdu - 6a3aada865df49011aa0b6cd55ff77aa1cf9102e authored about 3 years ago
github.com/lamdu/lamdu - caf99f7bcd5546b01cf92e47d5e2495fe0df12c6 authored about 3 years ago
github.com/lamdu/momentu - 7ef9875b27ed2f4e6b73a33f48b0fb1443f218a1 authored about 3 years ago
github.com/lamdu/lamdu - ae95a96d8f72340e81b6c389c1f7c3b70f7443e8 authored about 3 years ago
github.com/lamdu/lamdu - 8f1b211041fc8e409503f70026f3f940cb1df2cb authored about 3 years ago
github.com/lamdu/lamdu - 298e2e348a3927add11ff606c4c7b3889d13a377 authored about 3 years ago
github.com/lamdu/lamdu - fcb9a7225b2a6315329aaa4bf5b0657fa6da3862 authored about 3 years ago
github.com/lamdu/lamdu - e2ed7396ae9778a7e2e7da3f6b17e67d3e6d3aea authored about 3 years ago
github.com/lamdu/lamdu - 9c529fe7851494fd38e063e67305b85151f20f03 authored about 3 years ago
github.com/lamdu/lamdu - 5e7129f0f4d8242b98d343b5f58b98ea3c46d3c3 authored about 3 years ago
github.com/lamdu/lamdu - 8f486c2e9356c96e9b1bff0e33488f1951974c16 authored about 3 years ago
github.com/lamdu/lamdu - e8089bbf04faaf89b2fe468aed46e58e0fe0d007 authored about 3 years ago
github.com/lamdu/lamdu - 1261f3dfdebe2a57e827d0154104e3aa6adb7cc0 authored about 3 years ago
github.com/lamdu/lamdu - 5ffc3d2dbff6fe0e6ec693b529d311dda67fcc7e authored about 3 years ago
github.com/lamdu/lamdu - f3dc2ffc7d686fc423678c709a9f384029b48c13 authored about 3 years ago
github.com/lamdu/lamdu - 2d9492230d1bb1fa98627317b4fd681f7f1cf7dc authored about 3 years ago
github.com/lamdu/lamdu - 46e8daceea063c6a77ac74fe0b626b384173967d authored about 3 years ago
github.com/lamdu/lamdu - 562d94aaab98c994855326504bf9b59fa74e5725 authored about 3 years ago
github.com/lamdu/lamdu - 9a2864cab2cc0d204a8870f33117238be4167f8c authored about 3 years ago
github.com/lamdu/lamdu - eecd80e73a2c0c0fbdb2d11ca71d9b5f035def3d authored about 3 years ago
Towards possibly making further changes in toSuffixMap,
to make tag suffixes look like an integr...
github.com/lamdu/lamdu - 504791d6e5f13a54578f8993cfc6ef2861ef317d authored about 3 years ago
github.com/lamdu/lamdu - 4f5fdf9ee35d5fcc769ee2fabbc00bad8f1c770f authored about 3 years ago
github.com/lamdu/lamdu - 936da83f4126e11e558c735615850551394c1915 authored about 3 years ago
github.com/lamdu/lamdu - b66320878dd480a76f32ea18fd94eb0be0e39e03 authored about 3 years ago
github.com/lamdu/lamdu - 8087694b5d2c41ab18fb0d1805292016a897af02 authored about 3 years ago
github.com/lamdu/lamdu - ef30b7f91c1fe566a16737685b7bdc54f7847451 authored about 3 years ago
github.com/lamdu/lamdu - 04a421bbb91db57b671daa335627815f794ad992 authored about 3 years ago
github.com/lamdu/lamdu - dd662888a9bbec5f58f80e70a08f8ecdca6974c6 authored about 3 years ago
github.com/lamdu/lamdu - d578ac4e92867a3a8261eac71b56f559f0690e5d authored about 3 years ago
Towards nicer mechanism to sugar deferred lambdas in fragments
This reverts commit 115916122fd2...
github.com/lamdu/lamdu - ba27870afc6af77af28ad467adc9a8f6805741a1 authored about 3 years agogithub.com/lamdu/lamdu - e3a49bc344b2684bb3f873f7685d8741e497906a authored about 3 years ago
github.com/lamdu/lamdu - 9ba4d86101b6324f920e95962ffe3ab92f70c9a5 authored about 3 years ago
github.com/lamdu/lamdu - 15e06e157a7ee776729793f21f3fcdd961e1bc62 authored about 3 years ago
github.com/lamdu/lamdu - 21289677af0cf85730e4b403140c7dfc2ca8ff97 authored about 3 years ago
github.com/lamdu/lamdu - e3de3a42e002529d7d703868377f12ce96ec6083 authored about 3 years ago
github.com/lamdu/lamdu - 864e2d3e996b4aad1a006626287eb28314aea2ad authored about 3 years ago
github.com/lamdu/lamdu - 4bd36cbf4244cf3704aafa638b339139f344f2f5 authored about 3 years ago
github.com/lamdu/lamdu - efe44e197ff81ad873c48ef5138fdf859faaa9f8 authored about 3 years ago
The design rule is that only the types included in the corecursive group,
that is, those that ca...
github.com/lamdu/lamdu - c731af3be3b933ab3e2ce4e8d79fa4d40e0f91d0 authored about 3 years ago
github.com/lamdu/lamdu - 2198efbafdd7ac557115f58347b5cefbc1503cf0 authored about 3 years ago
github.com/lamdu/lamdu - 73ca08e5b56c62c13763abade168c0770d503681 authored about 3 years ago
When editing freshdb.json manually,
it may not be idempotent to importing in Lamdu and re-export...
github.com/lamdu/lamdu - 5c20328c993badf5da1922192e9f20d76d348085 authored about 3 years ago
github.com/lamdu/lamdu - beca7a2489962d22a314c7ba65af0ac207b2abc0 authored about 3 years ago
Following the comments on #137, here are abbreviations for Spanish.
github.com/lamdu/lamdu - 40b318836995175b01681efd8635f29645389693 authored about 3 years ago
This translation is based on the Italian translation. A typo on the
Italian is also fixed.
github.com/lamdu/lamdu - 0af90e26d5253b8dc4d079208733ada700faf7e4 authored about 3 years ago
github.com/lamdu/lamdu - 3e1b727422a5659cddf73a9c49e7ac8ae6f67e30 authored about 3 years ago
github.com/lamdu/momentu - 536582e9c792833de69b8aa4c118305b3a02414b authored about 3 years ago
github.com/lamdu/lamdu - 115916122fd2e9a8f268ec54b734c1c7d2f2221f authored about 3 years ago
github.com/lamdu/lamdu - a114d965859586dc91070844fc2cdd1c7e91ab23 authored about 3 years ago
github.com/lamdu/lamdu - 446b12730a6db0a1839b6138c2cd3e4ac8b07d58 authored about 3 years ago
github.com/lamdu/lamdu - 64c030abafc8e0ccab46f9cb1d20d8358e4f485c authored about 3 years ago
github.com/lamdu/lamdu - 9df4a91998c4969973a34aa5fd6ad1e87b96aa91 authored about 3 years ago
* This allows sugaring lambda suspensions correctly, for example
github.com/lamdu/lamdu - 43cbc48278519d3cb12976501c5466bb6107c332 authored about 3 years agogithub.com/lamdu/lamdu - 7298a6e663e0ec189dae2e2741a83b0589a88fc2 authored about 3 years ago
github.com/lamdu/lamdu - 16c28d7d2b7df0910131f0248ddc99d69b9eabe4 authored about 3 years ago
github.com/lamdu/lamdu - 944f654779065f0662cb8a5a98aa7dfc61c2ad25 authored about 3 years ago
github.com/lamdu/lamdu - 04135dee2028fb2fe4a0bc62a3c3e482813945b8 authored about 3 years ago
github.com/lamdu/lamdu - 5a3c0aa6764cda2a4758eed962661f245dbf18b6 authored about 3 years ago
github.com/lamdu/lamdu - f387db45bfe40da2a8009723286689fe6807ca15 authored about 3 years ago
github.com/lamdu/lamdu - dd7da2e86c8a283e89aa8fef1f07e1f84dee1d7c authored about 3 years ago
Towards making it also order nominal panes
github.com/lamdu/lamdu - 8ba5bc8f6026984ca22b896f45a7c74130f1e86b authored about 3 years agoSupports deleting and changing kind.
* Note that just navigating on kinds changes them and make...
github.com/lamdu/lamdu - 908bd678707e78094ab0ed8247f45e337e984168 authored about 3 years agogithub.com/lamdu/lamdu - 2c15a42902b3dbe2540f67dd0c5d19c95a86a696 authored about 3 years ago
github.com/lamdu/lamdu - 55dbc82ed6a39b2270e6d59f92ea2bebbfc6643d authored about 3 years ago
The types communicate that let items are added in binders and in else-if conditions.
This is a ...
github.com/lamdu/lamdu - 56aaf3b44a4d96f1aabea8764816cc2d009241f6 authored about 3 years agogithub.com/lamdu/lamdu - 76c73bfa941680f20e19730dd5c25f65e74e0fd8 authored about 3 years ago
When flipping args of operator, if another edit happened due to it (fragment added or removed),
...
Was going to add this test program for creating a test for https://github.com/lamdu/lamdu/issues...
github.com/lamdu/lamdu - 14ac8afa34df38d649954cda1630401f89e2510f authored about 3 years ago
These abbreviations make the example at https://github.com/lamdu/lamdu/issues/134
a bit nicer ("...
github.com/lamdu/lamdu - 3c8b629d99bed027aa3fea209bbf66339b8332e7 authored about 3 years ago
github.com/lamdu/lamdu - 6b5a2b86828d56e712c14ed4786ea77e3628e186 authored about 3 years ago
github.com/lamdu/lamdu - 05ce94561448778f1901374c780d2b123c46a2ce authored about 3 years ago
* Record params already have it in TaggedList
* For null param, looks like it wasn't used?
* Add...
github.com/lamdu/lamdu - 3777fc4b9fe3b7e665054c7b353de87ed482f0ed authored about 3 years ago
github.com/lamdu/lamdu - fc3de4e9e32bcf047b0a3cc23df2c1eaf82102d0 authored about 3 years ago
github.com/lamdu/lamdu - 234e00ed2433e249c960de9eac725835d6cb0cd7 authored about 3 years ago
This reverts commit a44b1f8e2273b0644febd979d9f78f2b33e6e075.
github.com/lamdu/lamdu - 88b051716da18f4d3f285c8610a16c59af835ac7 authored about 3 years agoThis reverts commit caeaa1f22a6707fd75e9b6a34643290bec166e1b.
github.com/lamdu/lamdu - 9e098e7da2666396780fcc7c3f067f93c85dd6e9 authored about 3 years agogithub.com/lamdu/lamdu - bf308b6cf1372bc94a11f601f3e572e02838760d authored about 3 years ago