| CARVIEW |
Select Language
HTTP/2 301
date: Sun, 18 Jan 2026 19:23:53 GMT
content-type: text/html; charset=utf-8
content-length: 0
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
location: https://github.com/Kappa-Dev/KappaTools/releases
cache-control: no-cache
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
set-cookie: _gh_sess=3kqaxT7B60%2FdIiBE0l80Oo35FRPdjkccHEDgZyzp%2F2kBXS2W0MboQ2bw3MoACXAbs8xdAn32jNLMQhs73YTnwU%2Fk77huf7Q7CwosdQsLz0f2QAjSwyp%2BLrHrfjScyEaaTm18KWURRfo3Qhc2%2Fd5fZSRdhDilSswhD%2FZGSWXnqQQySoe4eM7uOcIjhtWCWqN1eSeedFrxS3pha4ppuOtjvRZHxV36peWs5KOzsdDtPd6OruqgQ6xD4M1qeXFwqrbqbI23CL%2FIYw4QGurVDQ4G%2FA%3D%3D--6Uv6BvWJnOCncN9H--oT9ApfyTIjhrCMSFHqLlig%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1060517568.1768764233; Path=/; Domain=github.com; Expires=Mon, 18 Jan 2027 19:23:53 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Mon, 18 Jan 2027 19:23:53 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 8982:38CA81:24FE2DF:2C01B6B:696D3349
HTTP/2 200
date: Sun, 18 Jan 2026 19:23:54 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"0301bd33954d35cbb979b6c95e5051b9"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
x-github-request-id: 8982:38CA81:24FE312:2C01BA5:696D3349
Releases · Kappa-Dev/KappaTools · GitHub
Loading
Loading
30 Mar 13:10
Loading
04 Dec 04:52
Loading
17 May 19:07
pirbo
Pierre Boutillier
Loading
27 Apr 20:31
pirbo
Pierre Boutillier
Loading
Loading
Loading
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 41
Releases: Kappa-Dev/KappaTools
Releases · Kappa-Dev/KappaTools
Kappa Software Suite version v4.1.3.1
v4.1.3.1
Kappa Software Suite version v4.1.3.1
What's Changed
- Fix some webapp functionalities that had issues with React and js_of_ocaml e59ed94
- Fix bug happening when hitting a syntax error in the editor, and other actions 390e3c8
- Make error modals less scary 008661f
- Fix seed not showing properly in the webapp simulation log ecd046d
- Fix infinite loop when opening log tab while a simulation was run bafaeb8
Full Changelog: v4.1.3...v4.1.3.1
Assets 5
Kappa Software Suite version 4.1.3
v4.1.3
Kappa Software Suite version 4.1.3
What's Changed
- Patch candidate for fixing issue about decrementation. by @feret in #639
- Fix #644: Use
Buffer.tinstead ofBi_outbuf.tby @thierry-martinez in #645 - Add shell.nix and .envrc for easy building under Nix by @wwaites in #646
- Bump electron from 4.2.12 to 9.1.0 in /gui by @dependabot in #623
- Fix #647: declare dependency to result package explicitely and fix windows build by @thierry-martinez in #648
- Add an Edges.is_agent_id function by @jonathan-laurent in #655
- Fix klexer4 bug for zero-length strings ("") by @ethulhu in #670
- Improve clarity of code by @antoinepouille
- Small-than implementation in counters as translation into new "inverted counter" by @antoinepouille in #679
- Ignore Python build outputs and temporary integration test files by @ethulhu in #671
- Fix nix shell environment on Darwin by @ReubenJ in #680
- Inverted counters with proper default values by @feret in #691
- Fix dead_rules warnings by using a dont_gc_me list by @antoinepouille in #694
- Multiple fixes and code revamp of webapp by @antoinepouille
- Improve cursor tracking for influence nodes by @antoinepouille in #700
Full Changelog: v4.1...v4.1.3
Assets 7
Kappa Software Suite version 4.1
Beta release of Kappa Software Suite version 4.1
Kappa Software Suite version 4.0
From KaSim3, we have changed everything but the fondamental concepts.
You absolutely need to read CHANGES if you were using former version.
Python client kappy is directly available in pip.
Assets 6
First release candidate of Kappa Software Suite version 4.0
Beware: Kappa Syntax has completely changed (hopefully for the best and we promise, we'll keep this one for a while). See CHANGES for more information.
Python client is directly available as kappy package in pip.
Assets 5
First attempt to release a version 4
old-V4beta
This tag was signed with the committer’s verified signature.
Hybrid version between 3 and 4 that should not be used anymore
Assets 6
Issue #87 and longest prefix convension
v3.5-250915
This tag was signed with the committer’s verified signature.
v3.5-250915 Issue #87 and longest prefix convension
Assets 3
Patch for issue #87
Patch for incorrect positive update in the case of a link swap combined with a deletion.
Assets 4
KaSim 3.5 with slightly better performances
Small bugfix that impact performances
Assets 3
Previous Next
You can’t perform that action at this time.