Skip to content
Change the repository type filter

All

    Repositories list

    • Mithra

      Public
      Mithra is a simple static platform, to teach and to present scientific ideas.
      Vue
      GNU General Public License v3.0
      0200Updated Jan 16, 2025Jan 16, 2025
    • A repository to populate with the source codes of micro-lectures.
      Python
      0251Updated Dec 28, 2024Dec 28, 2024
    • Dokuments

      Public
      Documents of ISK, available to Members
      TeX
      Apache License 2.0
      0100Updated Dec 27, 2024Dec 27, 2024
    • Kompute

      Public
      Kotlin's first efficient and intelligent computational engine.
      0600Updated Dec 24, 2024Dec 24, 2024
    • This repository is our design guidelines, assets and other complementary object with regards to ISKs look and branding.
      0000Updated Dec 9, 2024Dec 9, 2024
    • iskportal

      Public
      Independent Society of Knowledge Official website.
      Vue
      0100Updated Nov 18, 2024Nov 18, 2024
    • template-code-repo

      Public template
      A template project repository for codes, libraries, packages, and software.
      GNU General Public License v3.0
      0000Updated Oct 19, 2024Oct 19, 2024
    • Neutron Star Platform is an application for computations and analysis of physics regarding the neutron stars.
      Kotlin
      1000Updated Oct 11, 2024Oct 11, 2024
    • CSS
      0000Updated Oct 5, 2024Oct 5, 2024
    • This repository is dedicated to the development of micro-lectures series of ISK YouTube channel
      TeX
      GNU General Public License v3.0
      0000Updated Oct 4, 2024Oct 4, 2024
    • In this repository we have all the markdown files and posts that are being published on our website.
      GNU General Public License v3.0
      0000Updated Oct 1, 2024Oct 1, 2024
    • .github

      Public
      0000Updated Aug 22, 2024Aug 22, 2024
    • PartiKle

      Public
      PartiKle is a modern toolkit for High energy physics.
      Kotlin
      GNU General Public License v2.0
      0000Updated Aug 21, 2024Aug 21, 2024
    • CSS
      0000Updated Aug 14, 2024Aug 14, 2024
    • Kotlin for science is an open-source project to develop and maintain libraries for Kotlin that are used in Science.
      Kotlin
      GNU General Public License v2.0
      21730Updated Jul 27, 2024Jul 27, 2024
    • NuKleus

      Public
      A Design System for Knowledge
      Vue
      GNU General Public License v2.0
      0100Updated Jul 17, 2024Jul 17, 2024
    • MoleKule

      Public
      various solutions for molecular dynamics
      Kotlin
      GNU General Public License v3.0
      1500Updated Jul 15, 2024Jul 15, 2024
    • Akzent

      Public
      Akzent is an ambitious project to define a natural transformation between languages. Modeling new and overwriting accents in different languages.
      Kotlin
      GNU General Public License v2.0
      0100Updated Jun 9, 2024Jun 9, 2024
    • Dedukt

      Public
      Dedukt is an open source project of software for mathemaical practice using computers. The main goal is to develop a user firendly, intelligent system for mathematics, proof, new mathematical developments, and also symbolic computation. It can be used by mathematicians and people in sciences.
      TeX
      0300Updated Jun 8, 2024Jun 8, 2024
    • Ekuation

      Public
      Ekuation is the one tool to solve differential equations numerically via Kotlin
      Kotlin
      GNU General Public License v3.0
      0100Updated Jun 8, 2024Jun 8, 2024
    • Kosmos

      Public
      Numeric General Relativity Computations
      Kotlin
      0000Updated Jun 8, 2024Jun 8, 2024
    • Kommon

      Public
      Common libraries for different projects.
      Kotlin
      GNU General Public License v3.0
      0000Updated Jun 8, 2024Jun 8, 2024
    • Kluster

      Public
      orchestrate units of computation between a cluster of nodes
      HTML
      GNU General Public License v3.0
      1200Updated Jun 8, 2024Jun 8, 2024
    • Koncept

      Public
      Koncept is an open-source workstation for research. Work within all the tools you need in your research from a centeral workstation.
      CSS
      The Unlicense
      0100Updated Jun 8, 2024Jun 8, 2024
    • Kategory

      Public
      Kotlin
      GNU General Public License v3.0
      0000Updated Apr 26, 2024Apr 26, 2024
    • Discussions of ISK Teams and collaborators on github.com
      GNU General Public License v3.0
      0000Updated Apr 26, 2024Apr 26, 2024
    • The Arend Proof Assistant, research and usage for the DeduKt Platform.
      Java
      Apache License 2.0
      33000Updated Feb 21, 2024Feb 21, 2024
    • Komplex

      Public
      Kotlin Complex Analysis Library
      Kotlin
      MIT License
      0100Updated Nov 29, 2023Nov 29, 2023