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

Remove reflection

github.com/typedclojure/typedclojure - 94665d2898bfb39c1cac9207d2ac4f2d5a4edf98 authored about 11 years ago
Bugfix: Rename for std. compliance

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

github.com/typedclojure/typedclojure - a69b8bd4ff1e4681425c1f37913f35d58c705502 authored about 11 years ago
Implement tests for defn>

Currently only testing the argument parsing for defn>

Signed-off-by: Ambrose Bonnaire-Sergeant ...

github.com/typedclojure/typedclojure - 6066551df220f0a277dbc7214f532c91f9510f85 authored about 11 years ago
Bugfix: body forms were not spliced in within defn>

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

github.com/typedclojure/typedclojure - 58fd1960b34b5918996ba19a123f1a99229b68a6 authored about 11 years ago
Improvement: Add two examples of defn> showing different syntax

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

github.com/typedclojure/typedclojure - 9654f4c0827cd3f560d6bc282e719fb65c7252a6 authored about 11 years ago
Include testing of defn> as part of the core test sequence

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

github.com/typedclojure/typedclojure - 92bb8f3571110ec3ae6a8568ef9cc13c1c86db3d authored about 11 years ago
Implement a defn> macro

Provide a defn> macro with the same syntax as fn>

Signed-off-by: Ambrose Bonnaire-Sergeant <abo...

github.com/typedclojure/typedclojure - 3b7bae7f694b01eac6c3a1635a369273d11f78d1 authored about 11 years ago
Add debug utility functions

github.com/typedclojure/typedclojure - 1cf66437b6926a0c4e0bc4788e5e8cf0f1ad2c68 authored about 11 years ago
Propagate more expected type information to :map literals

Added some pre/post conditions to weed out bugs related to
bad arguments to subtype.

github.com/typedclojure/typedclojure - d9b37944681466c1655c6d27a2d67010002e08c7 authored about 11 years ago
Better errors for case forms with expected types

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

github.com/typedclojure/typedclojure - f1b3981ccdb4d51337fb419b0930f9405ab9bf9a authored about 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.16

github.com/typedclojure/typedclojure - ec468104aa5a92cf92a104abcbed53eee2da22d2 authored about 11 years ago
typo

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

github.com/typedclojure/typedclojure - dbb902657ac62dc127e55172fc17cc3bc36bd281 authored about 11 years ago
doc

github.com/typedclojure/typedclojure - bc9b0dcc2a8fe8ae4cf8cecdf3f86911d6d9a8b6 authored about 11 years ago
Correctly instantiate protocol in test

github.com/typedclojure/typedclojure - a575d4b29a506448c2bb38786574661320e5592e authored about 11 years ago
Fix example of ann-protocol. More details.

github.com/typedclojure/typedclojure - 216454c8c292d68dfa1ac1cd5ce36e00f43cc1c8 authored about 11 years ago
Fix CTYP-91

Correctly instantiate polymorphic Protocol instances.

github.com/typedclojure/typedclojure - 4474f76eea1e966523914c5455761f1e7b8542c8 authored about 11 years ago
Separate scoped tvar and tvar bounds environments.

tvar-env holds an environment mapping scoped symbols to
free variables.

tvar-bnds holds an envi...

github.com/typedclojure/typedclojure - 2fbd2fba5572f5f896b72eccc1b9d1ba6cb734e7 authored about 11 years ago
Add missing promote/demote case for KwArgsSeq

github.com/typedclojure/typedclojure - adbdea05df40db726ac928986dc5c07d04a7524b authored about 11 years ago
Fix typo in Number usage

github.com/typedclojure/typedclojure - c0e4e3c02fe319745a53b0c20fc59275f00659ad authored about 11 years ago
Properly handle free variable name scoping

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

github.com/typedclojure/typedclojure - 9db01fab84da3d2ce3b096f555e50c8139e76315 authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.15

github.com/typedclojure/typedclojure - 3d2d32149645fea10e8a774912811ee387d8c065 authored over 11 years ago
Assoc is recognised by keyword-invoke

github.com/typedclojure/typedclojure - 90d613f2876d9e5dd88350cc8130bbff4c925a8c authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - ddb56ce909624be1763f473c21b6f992ff76d490 authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - d8bf3fcc6a1965b90333eec848149cb5ea1bb0ea authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - 25c33fb1391e4e8b91efc9d9f64ff564b1af7773 authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - 12c2aa53858fd61a0004c8d42d5a8dbe4b735936 authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - 29d8a89748829ad9f682bb0b437e1546aa86cbc8 authored over 11 years ago
readme

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

github.com/typedclojure/typedclojure - 2cf8fe234479f622b905727a8b409f1687242952 authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.14

github.com/typedclojure/typedclojure - b19fe70ee9cd0d8ed6096cccac4c6c0ef60daac2 authored over 11 years ago
changelog

github.com/typedclojure/typedclojure - 5a20eb7e848204ced15b746e2c565b10d70b12df authored over 11 years ago
Comment out problematic test

github.com/typedclojure/typedclojure - f38beffb13631fe78dcd6ac42530ca9ca81b2f4e authored over 11 years ago
Assoc on the type level.

eg. (Assoc '{} ':a Number) <: '{:a Number}

Also works with type variables.

(fn [a] (assoc a ...

github.com/typedclojure/typedclojure - 0c97ef80b7a3aaef72a7975f3164466323feee62 authored over 11 years ago
CTYP-89: Add rest arguments to heterogeneous vectors. Dotted vector WIP

New HVec constructor: (HVec [Number Long])

Syntax for rest args: '[Number Long *]

github.com/typedclojure/typedclojure - 4e4a2697a9de3153fc69f1ab58ca9613127bcd0f authored over 11 years ago
Refactor for clarity. free-ops is unchecked, explicit because of typed deps

github.com/typedclojure/typedclojure - da6d699bae17bcb0425dbb234eb0418c8f08a0c1 authored over 11 years ago
alter-var-root annotation

github.com/typedclojure/typedclojure - c46ba623ab2b3d36efe56929ae38cd74b271936f authored over 11 years ago
Add Keyword and Symbol aliases

github.com/typedclojure/typedclojure - a256cd7efa77813a12516bf92cddfbad5d693b0b authored over 11 years ago
Use core.cache for caching.

github.com/typedclojure/typedclojure - e32a9d17dd0d37eecce529ae913f778052bf7dd1 authored over 11 years ago
Fix CTYP-85.

Using abstract-type in abstract-result means we could try
and abstract the same filter/object tw...

github.com/typedclojure/typedclojure - 15684f8a9de37237194a9c79ec7440606f48434f authored over 11 years ago
add ref> and Ref1

github.com/typedclojure/typedclojure - 4f921deac0121698ef0b99e9374b435ad1d885b3 authored over 11 years ago
typed clojure image

github.com/typedclojure/typedclojure - ad66294bb590c5fa42814e006babfcc0d20a849c authored over 11 years ago
changelog for snapshot

github.com/typedclojure/typedclojure - 6e90fab27b644364aaf9d99d6e2cb34334bc2b6d authored over 11 years ago
unparse filters when printing

github.com/typedclojure/typedclojure - 4475a59ea180edfade56a97cb2447fb2183152d6 authored over 11 years ago
remove file

github.com/typedclojure/typedclojure - 231c9a5575bfdae338dd7d7edafb2d7d353f104d authored over 11 years ago
trans case

github.com/typedclojure/typedclojure - 3c4421b7b5afa7651e03c0b61b68b3a33d2e4eb0 authored over 11 years ago
Fix CTYP-77

Nonliteral keyword as function

github.com/typedclojure/typedclojure - 46ac96ce7b42fc2191710e057716e03508c8d0e5 authored over 11 years ago
Better types for AReference

github.com/typedclojure/typedclojure - edc3139c7f40741ec4476661a34a771c310d430d authored over 11 years ago
Better error for TApp arity mismatch

github.com/typedclojure/typedclojure - 01f7a63e6c0e1552b7138960618004e56eb098f9 authored over 11 years ago
Var has 2 parameters

github.com/typedclojure/typedclojure - 6425e46e42992f643470558dc1fff396f8ac4153 authored over 11 years ago
Fix CTYP-73

Support reduced

github.com/typedclojure/typedclojure - a75e1834be5c6cc6c329ec9f882a35b275f0f70a authored over 11 years ago
Fix CTYP-74

Better error with malformed TApp

github.com/typedclojure/typedclojure - edeb6cf572c48792a4bf0f025001e4f35a7bfb70 authored over 11 years ago
Fix CTYP-78

Expected type for finally

github.com/typedclojure/typedclojure - 20b1682f68733d657bf1984b8dd997a00228bb63 authored over 11 years ago
Fix CTYP-82

async annotations

github.com/typedclojure/typedclojure - 88a6e868ebc6f58362e089dfd4d5060e340c379c authored over 11 years ago
bump lein-typed

github.com/typedclojure/typedclojure - a502e2aca6dbfa1941310d064e2aba18cb9b6747 authored over 11 years ago
Add value subtyping cases for CLJS

github.com/typedclojure/typedclojure - 2ac03b55b731f81ba0745d4cfaa2c2ad83e713d8 authored over 11 years ago
Fix CTYP-79

Resolve types properly in assoc

github.com/typedclojure/typedclojure - ebebb1dd2d4fd1453086b5692aec07b718c63297 authored over 11 years ago
Fix CTYP-84

HList ancestors

github.com/typedclojure/typedclojure - aa4058ec77ceeb8cbfdd9b468ff1a4fbfaa41ad8 authored over 11 years ago
This doesn't seem to ever get used, commenting out

github.com/typedclojure/typedclojure - 2d6feea8948a81199c15dcb4d8f1698d39ed19a9 authored over 11 years ago
Add Symbol, Keyword to CLJS env

github.com/typedclojure/typedclojure - 600a61290dd8d44128cd8d53c0a8b60a7f93bb8d authored over 11 years ago
Improve Java interop docs

github.com/typedclojure/typedclojure - e8fe0928a19a6c09d5bc20a6cb8d79550018886b authored over 11 years ago
Fix map type

github.com/typedclojure/typedclojure - 2b1fc2189b6698425705650bbbb85b6b3efe9f7d authored over 11 years ago
Add campaign

github.com/typedclojure/typedclojure - 2e4f691d989d7b063d2e43f6f3d3395c0aeb16b5 authored over 11 years ago
irc logs

github.com/typedclojure/typedclojure - 59dcc5eb31bc6fd79e7a4eb502059c1f4b61f454 authored over 11 years ago
Remove comment

github.com/typedclojure/typedclojure - ef94b1ef24144ef89668bce79dfae21440708d1c authored over 11 years ago
Fix derive type

github.com/typedclojure/typedclojure - 5e98dcead23476d539a0deb51c41fc8888e28156 authored over 11 years ago
Annotate more of core

github.com/typedclojure/typedclojure - 7159f1db9f48a3cba84a4338b00655f2500a85e1 authored over 11 years ago
More accurate type for ns-resolve

github.com/typedclojure/typedclojure - 31647ca99f25a80e1761ce1c4426763082b32692 authored over 11 years ago
clean up error message

github.com/typedclojure/typedclojure - a1342d49067964858189e188afacc18edf59a345 authored over 11 years ago
CTYP-67 compare inlining

github.com/typedclojure/typedclojure - 044434b33c4d9ce1df95170bfff3c45a9c2cdbb6 authored over 11 years ago
Clarify var>

github.com/typedclojure/typedclojure - 34f0fd629b3cff82c8d33de33d32c83cfa9d1534 authored over 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 5024a9b8cb8c7594150d833af81e124333325e42 authored over 11 years ago
update readme

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

github.com/typedclojure/typedclojure - 639e2877bb96196fb42c16715512f1ee5f2e71c8 authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.13

github.com/typedclojure/typedclojure - 91875e89b75defc5277b04a2dff57e61c0322306 authored over 11 years ago
Don't deref the var with var>

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

github.com/typedclojure/typedclojure - 0a1cc6157a967408e0771d41d5ff948b2bdfbaae authored over 11 years ago
Changelog

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

github.com/typedclojure/typedclojure - ff7029ab714084585820d4e57dc5b3fd1d0cd895 authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.12

github.com/typedclojure/typedclojure - 66d16ebc7c5b72c89b6e1994fe93904bc13ed135 authored over 11 years ago
Re-renable type checking of the checker. Add var>

github.com/typedclojure/typedclojure - 2490b876426be9ce6dfad534728d486806d75e8a authored over 11 years ago
More line numbers in errors.

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

github.com/typedclojure/typedclojure - fa504e559489aac50e7050218411101dbaa99b63 authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.11

github.com/typedclojure/typedclojure - 625f347b4b7371ecd70963f12db258c651c61765 authored over 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 323604ea6e6bbd6b42c19fb4f22affbc474d1cc2 authored over 11 years ago
Update version

github.com/typedclojure/typedclojure - f683b536a0c6618633641e623ecfb138fac3c422 authored over 11 years ago
Be flexible enough to allow mutually recursive protocols/records.

github.com/typedclojure/typedclojure - 8ea3c6e7db3d7d32f8acd97d3fcc2b52a45adf0d authored over 11 years ago
Changelog

github.com/typedclojure/typedclojure - 459edc2d28fad1326e70a15d9c524797e7c53d9d authored over 11 years ago
Fix CTYP-56, 3 argument isa?

github.com/typedclojure/typedclojure - f73cdc5df8158ed530e275bd0e5452d8cb604a13 authored over 11 years ago
Readme

github.com/typedclojure/typedclojure - 149e84afb387a4292bf1671be90b91b7114d2d1b authored over 11 years ago
Changelog

github.com/typedclojure/typedclojure - 1ead05dd0319fc0fa792ab8bdd1f8abaf19549f4 authored over 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 31ea0bb7fa81152ee726acce08d6892e56e6d6b5 authored over 11 years ago
Changelog

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

github.com/typedclojure/typedclojure - e7329ee4d581f1170f541d2332cb1a469a84886b authored over 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.10

github.com/typedclojure/typedclojure - e717ca72615de63a94e074c900b1edc1ab442b33 authored over 11 years ago
Fix -true-filter references

github.com/typedclojure/typedclojure - 533051f2045ae71ffcce565d43187cfdb5f7ee27 authored over 11 years ago
Changelog

github.com/typedclojure/typedclojure - da2d99e8944323da96ff2d9609f7f0a1265bc986 authored over 11 years ago
Better validation for function parsing

github.com/typedclojure/typedclojure - 5429c074aaa0d6054b9150e3ef8fbc32f65f3591 authored over 11 years ago