Ctrl KSoftwareProjectsOrganisationsSign in Ctrl KLimited functionality: Your browser does not support JavaScript.All software1FilterClearOrder byMentionsOrder byKeywords146Program languages75Licenses181237-47 of 47NESTMLNESTML is a domain-specific language for neuron and synapse models. It combines an easy to understand, yet powerful syntax with good simulation performance by means of code generation.ModellingSimulationspiking neural networksPythonJinjaANTLR+ 400oidc-agentoidc-agent is an OpenID Connect tool suite designed to simplify authentication processes for command-line applications and workflows that require access to resources protected by OIDC. It provides a secure, but user-friendly way to manage tokens on the command-line.AAIcommand-lineOIDC+ 2CC++Makefile+ 4180PiGxPiGx is a collection of genomics pipelines. All pipelines are easily configured with a simple sample sheet and a descriptive settings file. The result is a set of comprehensive, interactive HTML reports with interesting findings about your samples.HTMLPythonR+ 750pydidasPydidas (Python diffraction data analysis suite) is a toolkit for the analysis of X-ray diffraction datasets. It is designed to be accessible also for domain scientists with little experience in diffraction data analysis. Pydidas includes a graphical user interface and a command line interface.SAXSWAXSX-ray diffraction analysis+ 1PythonBatchfileMakefile+ 120RAYXOptical Simulation Software for Synchrotron RadiationC++open sourcepython+ 2C++PythonCSS+ 720RCERCE is a distributed integration environment for scientists and engineers to analyze, optimize, and design complex systems like aircraft, ships, or satellites.Aeronautics, Space and TransportcollaborationDistributed Execution+ 3JavaHTMLGherkin+ 800SampleDBSampleDB is a web-based electronic lab notebook with a focus on sample and measurement metadata. With SampleDB, you can track each step in the sample lifecycle and its schema system allows you to define exactly what metadata should be stored for each process, from a simple check box to time series.Electronic Lab NotebookmetadataResearch Data ManagementPythonHTMLJavaScript+ 480scPowerscPower is a statistical framework for design and power analysis of multi-sample single cell transcriptomics experiments. It enables users to identify the optimal experimental parameters for cell type specific inter-individual DE and eQTL analysis using single cell RNA-seq data given a fixed budget.Experimental designHealthscRNA-seq+ 1RHTMLCSS30spiritSpirit is a platform-independent framework for atomistic spin-dynamics. It combines the traditional cluster workflow through a C-API with python bindings with modern visualisation capabilities in order to maximise scientists' productivity.Atomistic Spin DynamicsC++CUDA+ 5C++PythonCMake+ 9150Tamarin ProverThe Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.Cryptographic ProtocolsFormal VerificationInformationHaskellPythonJavaScript+ 900WattsWaTTS allows using any legacy service with federated identities, such as eduGain or google.AAIOIDCToken TranslationErlangHTMLElm+ 6201234
