deotimedev

deotimedev's Stars

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k440

• o2sh/onefetch

  Command-line Git information tool

  Language:Rust10.6k284

• imputnet/cobalt

  best way to save what you love

  Language:Svelte25k2k

• elizarov/PolyhedraExplorer

  Interactive polyhedra explorer with animated transformations

  Language:Kotlin32

• terrakok/kmp-awesome

  An awesome list that curates the best Kotlin Multiplatform libraries, tools and more.

  4.3k275

• TheArchitect123/KmpEssentials

  KmpEssentials is a library that contains apis (40+ Modules) to accelerate your development. Everything from managing the Battery, File System, getting Package information, or taking Photos. Supports iOS, Android & AppleWatch

  Language:Kotlin2385

• leaningtech/webvm

  Virtual Machine for the Web

  Language:Svelte11.2k1.7k

• JetBrains/MPS

  JetBrains Meta programming System

  Language:JetBrains MPS1.6k291

• geogebra/geogebra

  GeoGebra apps (mirror)

  Language:Java1.7k364

• Leaflet/Leaflet

  🍃 JavaScript library for mobile-friendly interactive maps 🇺🇦

  Language:JavaScript41.7k5.9k

• rosslh/Mandelbrot.site

  Explore the Mandelbrot set fractal in your browser. Built with Rust, Wasm, and TypeScript.

  Language:Rust1169

• SciProgCentre/kmath

  Kotlin mathematics extensions library

  Language:Kotlin66557

• openrndr/orx

  A growing library of assorted data structures, algorithms and utilities for OPENRNDR

  Language:Kotlin12437

• openrndr/openrndr

  OPENRNDR. A Kotlin/JVM library for creative coding, real-time and interactive graphics

  Language:Kotlin90173

• The-Powder-Toy/The-Powder-Toy

  Written in C++ and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.

  Language:C++4.7k786

• Kotlin/kandy

  Kotlin plotting library.

  Language:Kotlin62316

• maddymakesgames/Rust-CE

  A proof-of-concept of rust on the ti-84+ce

  Language:Rust341

• xebia-functional/xef

  Building applications with LLMs through composability, in Kotlin, Scala, ...

  Language:Kotlin17915

• Fortnite-API/java-wrapper

  Java/Kotlin implementation for https://fortnite-api.com

  Language:Kotlin102

• ollama/ollama

  Get up and running with Llama 3.3, Mistral, Gemma 2, and other large language models.

  Language:Go106k8.5k

• varabyte/kobweb

  A modern framework for full stack web apps in Kotlin, built upon Compose HTML

  Language:Kotlin1.6k71

• public-apis/public-apis

  A collective list of free APIs

  Language:Python323k34.3k

• sycamore-rs/sycamore

  A library for creating reactive web apps in Rust and WebAssembly

  Language:Rust2.9k155

• cloudflare/workers-rs

  Write Cloudflare Workers in 100% Rust via WebAssembly

  Language:Rust2.7k292

• monkeytypegame/monkeytype

  The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.

  Language:TypeScript16.2k2.5k

• Anjok07/ultimatevocalremovergui

  GUI for a Vocal Remover that uses Deep Neural Networks.

  Language:Python18.9k1.4k

• tweag/nickel

  Better configuration for less

  Language:Rust2.5k95

• DragonKnightOfBreeze/Breeze-Framework

  基于Kotlin的整合代码框架，为标准库和其他框架提供各种有用的扩展。Integrated code framework based on Kotlin, provides many useful extensions for standard library and some frameworks.

  Language:Kotlin11

• typetools/checker-framework

  Pluggable type-checking for Java

  Language:Java1k357

• concoct-rs/concoct

  A reactive runtime for embedded systems in Rust

  Language:Rust3729