Ecosyste.ms: OpenCollective

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

Typed Clojure

An optional type system for Clojure
Collective - Host: opensource - https://opencollective.com/typedclojure - Website: https://typedclojure.org - Code: https://github.com/typedclojure/typedclojure

use more regex

github.com/typedclojure/typedclojure - 112d5fbe42a4167d0f6536a9fd0968226947f559 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add self check ns

github.com/typedclojure/typedclojure - a74c51a8242bdb747e1e79e969c98fe31a4d3e36 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more self checks

github.com/typedclojure/typedclojure - 49c927ef0813fa856296bf358aee630f83a16c06 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump actions

github.com/typedclojure/typedclojure - 18b77452c479f5c22f1b1e7d41378a5847c43cbd authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump malli

github.com/typedclojure/typedclojure - a33b4ed1d145787b78cab3d879f687ce27571e67 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
cljs IComparable, fix HVec invoke + 3 arg t/Get, Comparable in compare

github.com/typedclojure/typedclojure - 341c1e5d11960c5309f2d0f54a4bf7e2cf9d9fd0 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
introduce t/Comparable

github.com/typedclojure/typedclojure - 0e66862b9597780746f25df9e27878d6abab1cf6 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
make t/Sorted invariant and update base env

github.com/typedclojure/typedclojure - a03ed95c6dcf206247c849ad0675f65547a41526 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix subseq

github.com/typedclojure/typedclojure - 200d8708f2d97056189c46a3e29b3b92df5295d3 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
infer TFn variance, cc/fn => t/Fn, volatile support, change t/TFn bounds scoping

github.com/typedclojure/typedclojure - 3444cd62b2f898fddcf4ab920e73d9afa371fc7f authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more origin context

github.com/typedclojure/typedclojure - 4e5b26a25b7ed3b0a3a2c360a9f4ce63bf6fd4df authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add origin syntax to parsed types

github.com/typedclojure/typedclojure - cbe20adead4414ebbb500e8ec473fde75258cf73 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump malli

github.com/typedclojure/typedclojure - 7e5e7a9c8cae38e55c5eff7ea87b44533ae78eda authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add origin expr to types

github.com/typedclojure/typedclojure - 71523f8ebf29c047d918025e9346ded8db901cc2 authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
record current expression in TCResult

github.com/typedclojure/typedclojure - 06e9b18c319f5587ffb905a4724520a858db4d0e authored about 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
tests

github.com/typedclojure/typedclojure - ab0dd753fb04946a2241d8bc9be8c45ca63efd4e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci]

github.com/typedclojure/typedclojure - 55d00dbb7ca3115ce1631222e0edaca445428d41 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
`cc/derive` returns a Hierarchy

github.com/typedclojure/typedclojure - d1ce514266cb56f0aaa5581c7202d78601338e71 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
`cc/keyword` can accept nil as first arg

github.com/typedclojure/typedclojure - d19c436f0d458de7659419232623a9c3a5bb920d authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
tweak assoc type

github.com/typedclojure/typedclojure - 2ab74a28829d3e0c020d97df80fe9457072258c5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
merge Poly and PolyDots

github.com/typedclojure/typedclojure - 154fd8b156bc875f8a825d2ce8ac8ce7f0eadd12 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump README versions for 1.1.3

github.com/typedclojure/typedclojure - 9ea4da8be779941f6c2bdd64713e273eb05e57fc authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 158df4a3c4c9aa95fcc4454fb534211c50c1ae4c authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare release 1.1.3

github.com/typedclojure/typedclojure - 5a8896c31fc3ee73e98b3982d0b36492e87c5e81 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[typedclojure-release] 1.1.3 1.1.4-SNAPSHOT

github.com/typedclojure/typedclojure - 125fa8e99ef80da6442158032d06fe6d1f0b10d0 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
tests

github.com/typedclojure/typedclojure - bda59914211a24cedb91f79daf3f2ae8ecec3335 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
note

github.com/typedclojure/typedclojure - 43650a8ba5a4789d34989451b97807cb9a53950a authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
make assoc less unsound

github.com/typedclojure/typedclojure - ed04757949d45c091334471c55ecc8b439241493 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump README versions for 1.1.2

github.com/typedclojure/typedclojure - 99362c9cc8f5494444997c9847b1f266eccaeacd authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare release 1.1.2

github.com/typedclojure/typedclojure - 13ea0d65e840a7d45630cf713dea6bdb9fd2d031 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 5c7457991711572fb1da59a48f7fcc186467e8fb authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[typedclojure-release] 1.1.2 1.1.3-SNAPSHOT

github.com/typedclojure/typedclojure - 046fd7d0c9ecda5d48e5e3bec58ababad45273bc authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support cc/update

github.com/typedclojure/typedclojure - 5bfaf52a7cf748b03d4700e10b16dd459f5c2a6b authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix

github.com/typedclojure/typedclojure - 0d44acce566bd42ee8b48d59caa5c8c6ac1c4654 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update type syntax in some tests

github.com/typedclojure/typedclojure - 8bc4ec2106a98928454da67825233486e594e928 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix comp again

github.com/typedclojure/typedclojure - bf7e73e7c29ede2d8c2921903eafbb4f5a87cf59 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix comp type

github.com/typedclojure/typedclojure - e569727849648af26f1c115cacbf7e0d761e4743 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
Full function regex syntax

github.com/typedclojure/typedclojure - bd590434e0aedaa07c2af357c51ab08dc9d58630 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
promise => volatile

github.com/typedclojure/typedclojure - 69feef6b57a26795f97e6dae415d9531ed4b8e4d authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix

github.com/typedclojure/typedclojure - c869ca45fc20086d4849dbe7ae9dfecde2b1c480 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support regex in fixed function argument positions

github.com/typedclojure/typedclojure - e3dcaf6bc2b6838cd91753684109765b66d82225 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add fold case for Regex

github.com/typedclojure/typedclojure - df565c3bed417a72591b56251c2db072e7726d14 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
translate regex in :.. to <..., and :* to <*

github.com/typedclojure/typedclojure - 27604dc7e7e6ad869f3f0a81cffd4878420d4f3b authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
t/? => t/Infer, introduce regex sugar

github.com/typedclojure/typedclojure - d391c7f5947ba028e5182aaa13db100d932f2857 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
don't preserve bottom on hseq

github.com/typedclojure/typedclojure - 94f4ac0d85d174bb0c23b3cd93a0c1d62f009be5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support checking fn against union

github.com/typedclojure/typedclojure - d1367ec6114907ebf3cac1b282e8883a0a17c87d authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci]

github.com/typedclojure/typedclojure - 37a86feb5adc2dcf925bfa5345cfdf33cf859736 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
make-Function can accept Result

github.com/typedclojure/typedclojure - a666307f56c78cfae0f54d0b733ffd6e70bdbc03 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix

github.com/typedclojure/typedclojure - 0c065708c5fa09e30d286b5399aa2a3c7eaf09a2 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
review dotted inference

github.com/typedclojure/typedclojure - 9456f7a9e5a975b87477bedeb199e7316c7fe6eb authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support (map identity)

github.com/typedclojure/typedclojure - ce35e81e9da71ca872e781c6ed498f3b45b27fb1 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
prepare to broaden deferred arg types

github.com/typedclojure/typedclojure - 670cfa2e93d6abd2cee80472ebf2dc66d2e4e4c8 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "propagate expected type to args in easy case"

This reverts commit 7f2a5dd8eb581ec65f96933076a7b12be741dff5.

github.com/typedclojure/typedclojure - d08fba7d5a9b524ed7a7cfe09dc2615daa9b0155 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
propagate expected type to args in easy case

github.com/typedclojure/typedclojure - 7f2a5dd8eb581ec65f96933076a7b12be741dff5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update more printing tests

github.com/typedclojure/typedclojure - 3fe08632933d5abd4216ff3876e630ab5f67a30e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update printing tests

github.com/typedclojure/typedclojure - 6f329d5d307ba564dc2929cfd694c39e54341a66 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
use c.c.t to shorten types instead of just typed.clojure

github.com/typedclojure/typedclojure - 74c52a687ea2a1b111ec0a7918c1ae738f4d93c4 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
print symbolic closures as their most specific fn type

github.com/typedclojure/typedclojure - d31dd74d38fe2e497812d58b4c88e7d13e33532c authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
rm prn

github.com/typedclojure/typedclojure - e396d9da93f96dcbd5b46410cb3dd54280a334b1 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
start comp support. build up constraints when iterating symbolic

github.com/typedclojure/typedclojure - e9adf583bf3ec1e65d3cb4456502a8b50237a071 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
allow inference on more than 1 symbolic closure in poly app

github.com/typedclojure/typedclojure - c14070c3e420bf3b4b7ac1ba70bbc3be61b59bfc authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support reduce with unannotated fn, add t/? type

github.com/typedclojure/typedclojure - 0cd543ea8905181bfa89660a3e6addb04f20c183 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix peek ann

github.com/typedclojure/typedclojure - 78fae0646a3e1f83126c8ab4a49d5e8e271e6d32 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
support seqable of map entries in keys/vals

github.com/typedclojure/typedclojure - 1c1e136e5f442cf9378d9342f04c1659c1b97e55 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add param to Sorted, more anns

github.com/typedclojure/typedclojure - a5e8d46cddb7c8ffa353e8af51a07c1b73f6b53e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
annotate 12 arities of comp

github.com/typedclojure/typedclojure - 4391e28e225b7f7f9973297aaf8d0d019a59492e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
looser

github.com/typedclojure/typedclojure - e15fc01c65615b67410b5b2458341c7ba661edbe authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more annotations

github.com/typedclojure/typedclojure - efb91eed40e51ecb74fb2728c03a00dbb71b0631 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more core annotations

github.com/typedclojure/typedclojure - cf3da5565ae1ad72806c1c46896d3347cb668aa9 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
annotate new vars

github.com/typedclojure/typedclojure - e8686e8662d94c028227e1db56ea3c3450e4a2f5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci] todo

github.com/typedclojure/typedclojure - 3c11144d822d18e48fb051486d455594756e12a5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
symbol accepts var

github.com/typedclojure/typedclojure - d7036dfe9332f9959f676fa783ced710724fdf58 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add 1-arity annotation from drop-last

github.com/typedclojure/typedclojure - fd81b1c2de164e2f3e965055c511328de3a17589 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
improve `keep` annotation

github.com/typedclojure/typedclojure - 870912b175bb85975c61fd26c4c27e941e5698ae authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
add annotations

github.com/typedclojure/typedclojure - 20c6a3e0f4c4f35fa11c6ce05e761d14ff42344c authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
ann `keep` transducer, fix sequence-arity return

github.com/typedclojure/typedclojure - 6fbe99baefe96c56d8d77045e85a2286a569ec16 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
use one type variable in reduce 2-arity

github.com/typedclojure/typedclojure - 473400ce7eeb3e65dc732bd11fae65e44a45965e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
clojure 1.12.0-alpha4

github.com/typedclojure/typedclojure - 1d401e1cff91bbe9145b0a08a0ff73473e318e52 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix reduce ann, more reductions improvements

github.com/typedclojure/typedclojure - 7d3b0808e51fedd8ee9980afc15e64a56202d96f authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix reductions annotation

github.com/typedclojure/typedclojure - b3e22f9be844d8019687aacf54d23b22d4fa9274 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci]

github.com/typedclojure/typedclojure - 08b9d1f3a7af79a803f36ad1f2791122a26f1397 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci]

github.com/typedclojure/typedclojure - f356000396dd09761edb47c209f005223fcb42ae authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[skip ci]

github.com/typedclojure/typedclojure - d1bddcb5a35cee1d81d00875f6a1a7663d736adb authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
guide

github.com/typedclojure/typedclojure - 318b4a5eed887b18d8b96e37c4b45c13828d9251 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump README versions for 1.1.1

github.com/typedclojure/typedclojure - a623da8b7055a713b2581390c455ae4cf73935f0 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare release 1.1.1

github.com/typedclojure/typedclojure - 5f85fff586fb38644991f208918b7352f0b653ab authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 72a7d5f866dc624d3b97cbeccce28b6115843c3c authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
[typedclojure-release] 1.1.1 1.1.2-SNAPSHOT

github.com/typedclojure/typedclojure - 1ea6efc62a7a255a3f7d471639b4150c1e9ea6df authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
changes

github.com/typedclojure/typedclojure - 7d60398835f04c3ee62ce6a2b7ba908832c2507e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
symbolic execution guide

github.com/typedclojure/typedclojure - bc4eb4d9298f84b8a7ce4ec3446e440be089eea6 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump deprecated action

github.com/typedclojure/typedclojure - 3eccffbc7228688f0249693d88a94a8cc8c8fd43 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update test

github.com/typedclojure/typedclojure - c6215f376a570c76824ae32dadcae383d7709fd5 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more tests

github.com/typedclojure/typedclojure - 78c865473dc596e5cef7070c03dda11e913f9154 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
another test

github.com/typedclojure/typedclojure - 796261bb2635a4928139ecc1f91c12c3f19b2e2d authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update test

github.com/typedclojure/typedclojure - 647a90683ecd43dbf1ba3c8234ec36416cca585e authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix

github.com/typedclojure/typedclojure - 100c3ecb194913dfb2448b8cd06f78332d9c029b authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more tests

github.com/typedclojure/typedclojure - 02202b51fd7af3b24e1026971d5964a7e5546287 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
more faithful

github.com/typedclojure/typedclojure - fcc7ed125b1b9a5e55105854fba01ce311bcffa6 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
update test

github.com/typedclojure/typedclojure - f2c2607c8f143c6882c6454b5bdec5de19f0f6c8 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>
rm prn

github.com/typedclojure/typedclojure - 666fd87daa76859189477fffd53f80bd8c3c3e55 authored over 1 year ago by Ambrose Bonnaire-Sergeant <[email protected]>