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

Fully resolve operators of TApp and App

github.com/typedclojure/typedclojure - db13b5fb950aea3fb30fc01b35e117f8f446fe19 authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 37946674fb5d57189e461d749ff294ffd9fbf733 authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 50c47a67b27b730ac9353c73ff325e8f7ed7282c authored about 11 years ago
Replace assert with int-error

github.com/typedclojure/typedclojure - 7f3968f644a92ba61c208bcf45db75dad1e3be6f authored about 11 years ago
More flexible with datatype ancestors

github.com/typedclojure/typedclojure - 681435bb3585ef8f57055942af6491799d4d9783 authored about 11 years ago
Move F subtyping cases near the top

github.com/typedclojure/typedclojure - 8182a0def89bcc2ddc36b72d7d5883e38c9a66ba authored about 11 years ago
Better error for TypeFn variance check

github.com/typedclojure/typedclojure - 20dda9fbcd24c89cebea265a6e4a6ac7233d6d29 authored about 11 years ago
We can find corresponding bounds for any type

github.com/typedclojure/typedclojure - 01a321cfd7691f69423d72002b2c6693f458fea9 authored about 11 years ago
Use metadata to store original type variable names

github.com/typedclojure/typedclojure - 04a3c1942c1c2adb238b67b11fee7a7e9304eb3e authored about 11 years ago
Check deftype methods by reusing the infrastructure for checking fn

github.com/typedclojure/typedclojure - 3ecfc74820ac62714f0781e9756f9bc5b0618e33 authored about 11 years ago
Move find-bounds to type-ctors namespace

github.com/typedclojure/typedclojure - ab0926b73983abf07b791aa81c227d98bf3229cb authored about 11 years ago
better error

github.com/typedclojure/typedclojure - fe38ad5ccaeb884e361e54b08dbae09921fb15de authored about 11 years ago
Better formatting for misuse of inst

github.com/typedclojure/typedclojure - 05da4c6c09160813da19708455754c429e4c6c6f authored about 11 years ago
Fix IMapEntry ancestor typo

github.com/typedclojure/typedclojure - 8a6a28ea29ff50cf61e3cbc02513d488778a5b2e authored about 11 years ago
Docs for inst and inst-ctor

github.com/typedclojure/typedclojure - 2df4358229a5c69120a5d3b47664dbe4ed3d4a95 authored about 11 years ago
Reset multimethod dispatch env with check-ns

github.com/typedclojure/typedclojure - 5d4eb9a6574fccbcb7725bd1de2e7d2f0a793b02 authored about 11 years ago
Correctly print the result of cf

github.com/typedclojure/typedclojure - 0bdb39eaf6a0b452b798f88b27f8217386a11aed authored about 11 years ago
Handle keyword arguments to check-ns correctly

github.com/typedclojure/typedclojure - 742a4fce85e074a44fc5efdcb0a231c22ff772c7 authored about 11 years ago
Instantiate any abstract objects in a result type before checking fn body

github.com/typedclojure/typedclojure - 6e56d88feccdac8140cc7c9e94f6cb5d04baf04d authored about 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 4f009f8f0ae1bf52581b7cc104f6aa5260fde34c authored about 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.20

github.com/typedclojure/typedclojure - 4d937f2ccba7d1a64fffc36a87fa7404df3bada3 authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - f5999c5aa6ccec7126855fb37c099c4a3210f7a4 authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 6ac89297cd0e521742242fa387fcd34765b26c0a authored about 11 years ago
Faster internal type checking

github.com/typedclojure/typedclojure - 73f9624a624291dded4cfea8c018dad61656c6ea authored about 11 years ago
Better error on unresolved protocol type

github.com/typedclojure/typedclojure - 2cf9b1b87e86fb82ef57a636d61e8a5b174ef6c1 authored about 11 years ago
check-ns supports a collection of namespaces

github.com/typedclojure/typedclojure - 6d2684f05822e0582877e15dc2218d85d61b9dd6 authored about 11 years ago
Change for> return type to Seq

github.com/typedclojure/typedclojure - faa2c9443f7da98b74634bb6837768e3f255d138 authored about 11 years ago
int-error annotation

github.com/typedclojure/typedclojure - 2730f60b6b7a96f2e8f9da9e0adbcf782fc1164a authored about 11 years ago
tests

github.com/typedclojure/typedclojure - 8a87a1eea940a85324ae922fe0497902623fd56e authored about 11 years ago
Abstract about parsing a TFn binder

github.com/typedclojure/typedclojure - fb6b31a8c37de42ec441ac66df0409b2c2afe3d3 authored about 11 years ago
Scope type variable bounds in fold

github.com/typedclojure/typedclojure - 2b97fd40b60e42eab1dbd73a80311700ea72404a authored about 11 years ago
Don't simplify intersections in fold in case of undefined types

github.com/typedclojure/typedclojure - 642159f5822478083202446c65013258e089e294 authored about 11 years ago
Fully support all binder options with protocols

github.com/typedclojure/typedclojure - b1c65b08f39c5e319b982da581a511704dbe0c1e authored about 11 years ago
Better line numbers in CLJS

github.com/typedclojure/typedclojure - 7179c4503af824306a319ccfc1a96c2e63ef4533 authored about 11 years ago
Propagate type variable names

github.com/typedclojure/typedclojure - 49a733255b59a4c4472457becf780cfb6a70ee4b authored about 11 years ago
precondition

github.com/typedclojure/typedclojure - a6e9de769731323d6e3de61d1cfa014be4d55b73 authored about 11 years ago
Simplify intersections lazily in subtyping and cs-gen

github.com/typedclojure/typedclojure - d19b70e4c788e8cbbe345b133aad9873beff40f0 authored about 11 years ago
More flexible contracts for TApp operator

github.com/typedclojure/typedclojure - 7c90f863535b975e8f145706d26fd00adab49a99 authored about 11 years ago
Just ignore frees without bounds in subtyping

github.com/typedclojure/typedclojure - 77255dd6ddea0dbd6cceb5feec66ae5573240816 authored about 11 years ago
Better internal validation in macro

github.com/typedclojure/typedclojure - fab90012131b7379d3d98e2d1041d0f171524c73 authored about 11 years ago
Print the original name of free where possible in errors.

github.com/typedclojure/typedclojure - 032bc3d897d9d5510d9af52b450d11c98ce7efe3 authored about 11 years ago
Improve some types from Seqable to Seq return types

github.com/typedclojure/typedclojure - e6859354128550c3a97b8b03c7e408c3bca01e6f authored about 11 years ago
Datatype ancestors for CLJS aren't supported yet.

github.com/typedclojure/typedclojure - 6fb43ed08d6792aaa4d5d4af4a816aa2f234ee4e authored about 11 years ago
Add conj notes

github.com/typedclojure/typedclojure - 495a5e0e84407e94d77334ffcbcf9e5593af3682 authored about 11 years ago
Fix CTYP-86 - Fix interleave annotation

github.com/typedclojure/typedclojure - b8c53c3c82f5b1a14222820185240d72db4e3cb7 authored about 11 years ago
Line numbers in errors

github.com/typedclojure/typedclojure - 8c8ad8a649be9c17675d653bb37c91f8604f8f1f authored about 11 years ago
Correctly scope tvar bounds in PolyDots parser

github.com/typedclojure/typedclojure - 7fa6a732d77d3569b93a79d5c4cd32d2a1820993 authored about 11 years ago
Use int-error instead of assert for better errors

github.com/typedclojure/typedclojure - 395ea7d64aa6fe2a721844cbd29b209ed99f1aae authored about 11 years ago
Remove dead code

github.com/typedclojure/typedclojure - 81f350e007e9f2feb664273bb45c55197a7f6299 authored about 11 years ago
Type errors with type variables now print x :> Lower :< Upper

Old behaviour was Lower :< x :< Upper, but is unclear when Lower
is a type variable.

github.com/typedclojure/typedclojure - 1594ef79888471482cf8a8db2b63ce166b7b798a authored about 11 years ago
Use not-any? over (not (some ..))

github.com/typedclojure/typedclojure - 1018f673c5fdd9449557d39fba69f5792368f74d authored about 11 years ago
Remember the current namespase when parsing binders

github.com/typedclojure/typedclojure - 98f2dcf616862f07e0ccabe6aeb6d0d5994116e2 authored about 11 years ago
Guessing upper/lower bounds handles a few more cases

github.com/typedclojure/typedclojure - 2d6cd07ddd7febc3a2017eb6553d43400f934a30 authored about 11 years ago
TypeFn variances are only checked at instantiation time.

Eagerly checking TypeFn variances are consistent at *parse*
time is problematic. Often types (ie...

github.com/typedclojure/typedclojure - f9c107615d94bcbeacf993e8a2f94ff49896735e authored about 11 years ago
Remove reflection

github.com/typedclojure/typedclojure - a503cea1921c841bf9a9e4410627057723b2f1da authored about 11 years ago
Complain loudly if type variable bounds are not in scope

github.com/typedclojure/typedclojure - 234f2d2aea3cab4d414602c34a1434ecb25c6f30 authored about 11 years ago
Scope type variable bounds when parsing All forms

github.com/typedclojure/typedclojure - 40d514e31babd4e99b5e7c8e6770060a905a903d authored about 11 years ago
Typo

github.com/typedclojure/typedclojure - 9efe4945edcb5c0a415b8c6d0f7c0056f97dd14b authored about 11 years ago
Correctly scope tvars and bounds with inst

github.com/typedclojure/typedclojure - dfa9bfc83ad3f5b866f8934a268a851c2be5e5a2 authored about 11 years ago
Change LazySeq return values to Seq

github.com/typedclojure/typedclojure - ae715a4839c2ff379622d821dbe2ba0b1bf17116 authored about 11 years ago
Add frees case for Protocol

github.com/typedclojure/typedclojure - 5989508818e61c439336a4d1137ab744ff6435cc authored about 11 years ago
Fix Associative ancestor for APersistentMap and PersistentHashMap

github.com/typedclojure/typedclojure - 09a79f5e53c8ede046d71e984a5c02a946e40744 authored about 11 years ago
Fix CTYP-95 wrong annotation for reset!

github.com/typedclojure/typedclojure - 56366cfd9382253d0e67439d7937b55f75e215c6 authored about 11 years ago
bump version

github.com/typedclojure/typedclojure - f82fdfefcfdef69109d750dd4fe4fd27a18c323d authored about 11 years ago
fix bad args to subtype

github.com/typedclojure/typedclojure - 27db92c6b990f26a4d3a5bad4af46dc9ef6d93d9 authored about 11 years ago
Update version

github.com/typedclojure/typedclojure - 0b889b6a7a3240bfeb162de502af77ccd8644b8d authored about 11 years ago
Notes on regression fixed in 0.2.19

github.com/typedclojure/typedclojure - 1df6dea354541f69bf6a522fe84e02f06b959db6 authored about 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.19

github.com/typedclojure/typedclojure - f7ac7457100688a0b73dfe68590d595e1cbd2b51 authored about 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 88135b779eb62adb1a32030e94f74296f8d349c4 authored about 11 years ago
remove post condition

github.com/typedclojure/typedclojure - ef008ea99b4f660290d10287730ead8f2d9d1224 authored about 11 years ago
Fix CTYP-94 - correct return type for derive

github.com/typedclojure/typedclojure - da457a8f9aa74f5b4631db961e2550633cf77a68 authored about 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 7a406d3448931e1e14aa756a00b902318395ffef authored about 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.18

github.com/typedclojure/typedclojure - 7dbbaca2e957d27f97751aecc1cd7b8b8007f70f authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 930ed36a349940e2a8e0e3e311e53a11af9d8ed6 authored about 11 years ago
Update tests to use the smarter :absent-keys updating

github.com/typedclojure/typedclojure - 081a636c182a172cce1d0780f10ead27ebda88e3 authored about 11 years ago
A little smarter with handling absent keys

github.com/typedclojure/typedclojure - 779df41dd3b641aad19755053f9a2acf6807f319 authored about 11 years ago
add internal annotations

github.com/typedclojure/typedclojure - 4d9eaf9b95a411e4b3ac5779db970d4c05a64f13 authored about 11 years ago
correct groupid in project.clj

github.com/typedclojure/typedclojure - 18558bf0503f507588ae246a84f81d8941f1df35 authored about 11 years ago
Better error reporting for HMap syntax

github.com/typedclojure/typedclojure - f4b7fc54861548b61741f8f0ea925b20529c2327 authored about 11 years ago
Better occurrence typing updates for maps

github.com/typedclojure/typedclojure - 5f4a60bce2ff60d5af6403930afbbcfa516409e0 authored about 11 years ago
Forgot to add str around args

github.com/typedclojure/typedclojure - a55989c17cf3a77017f0a0b006cc1e12593227c7 authored about 11 years ago
Fix lower bound docstring

github.com/typedclojure/typedclojure - 6c4c9b901f5ef0bef56580b0a69e10555b2cd579 authored about 11 years ago
correct dev version

github.com/typedclojure/typedclojure - bff25525f9a7eb5652647fa073b286c113b7ac1b authored about 11 years ago
Revert "latest release is 0.2.16, not 0.2.17"

Hudson commits were lost in a merge.

This reverts commit 7a905fa05a06a4caebd6a193683fd6fea0f46e70.

github.com/typedclojure/typedclojure - ad69cd50fe1af03af0e58ac829f62e4be940bbbc authored about 11 years ago
latest release is 0.2.16, not 0.2.17

github.com/typedclojure/typedclojure - 7a905fa05a06a4caebd6a193683fd6fea0f46e70 authored about 11 years ago
Add fold case for KwArgsSeq

github.com/typedclojure/typedclojure - 2d93506550d5ea544b6c3cf93818c9c287911cfb authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 01827afe1e288cce1cf577dfe67e58ab5c60e5c3 authored about 11 years ago
formatting

github.com/typedclojure/typedclojure - 6c4539c496130694f117eaaf4df5cccd7fe8571c authored about 11 years ago
bump latest current version

github.com/typedclojure/typedclojure - b6d14fb12df02c645cf3e0337b65e2e01c2bb0c6 authored about 11 years ago
formatting

github.com/typedclojure/typedclojure - cb7b84d1d79ea241e375fd6e1a2fc843bc240074 authored about 11 years ago
add Reid to contributors

github.com/typedclojure/typedclojure - c43e8ae16fd456fed3086a9ecaf9efaffd075a97 authored about 11 years ago
Merge branch 'defnarrow'

github.com/typedclojure/typedclojure - 11f29c818355da6c01367946e42325b2b2db76ec authored about 11 years ago
project.clj version

github.com/typedclojure/typedclojure - f7a83c89c5aa1d78795f28063e1795d6fb1d801b authored about 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 101c54c835665a84a0a65583babdc2f075193c0d authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 5690a35017c0a6aad9eba71a994fd1427af0a87e authored about 11 years ago
Rearrange tests for defn>

github.com/typedclojure/typedclojure - caeeb77f26bb26a2182a03c48c13a98e3a33fb8e authored about 11 years ago
Return correct Var type from def

github.com/typedclojure/typedclojure - 3aa94b12b503364b215d0a9790564c9995790479 authored about 11 years ago
Add def>

github.com/typedclojure/typedclojure - 6556ad853d71044129f4a99370508d56765cd620 authored about 11 years ago
Don't wrap syntax in ann-form with cf et al.

github.com/typedclojure/typedclojure - 4f261d0e6016c758c0775d99ab828a0420adaa17 authored about 11 years ago
changelog

github.com/typedclojure/typedclojure - 9fca49bb11c1398974b81f56dacfd59f980eb7f0 authored about 11 years ago