Showing 981-1000 of 2,040 projects
A personal WeChat mini-program for a developer's girlfriend, with a task and shopping system.
An open-source, cross-platform functional-first programming language and compiler that can be used to build a variety of applications.
Lean Theorem Prover is a programming language and theorem prover focused on dependent types and formal verification.
A comprehensive collection of resources related to programming languages and compiler design.
A collection of easy-to-understand guides to programming tools for developers.
Wafer is a framework for quickly building scalable and elastic WeChat Mini Programs.
An open-source app to help developers become better at programming and hacking.
A piano practice program with MIDI support, designed to help developers memorize piano scales.
This is a repository of C programming best practices and coding style guidelines.
Marble.js is a functional reactive TypeScript framework for building server-side Node.js applications.
A functional programming language and cloud platform for building scalable web applications with a focus on developer experience.
A web-based roguelike game written in Dart, a general-purpose programming language.
An open-source IDE for .NET programming languages, focused on providing a productive coding environment.
Weekly coding challenges in Kotlin for the MoureDev community to practice programming logic.
A repository containing blueprints for factories in the game Dyson Sphere Program.
A comprehensive programming tutorial resource focused on a wide range of programming topics and concepts.
MPFlutter is a cross-platform Flutter framework for building WeChat mini-programs and web apps.
An open-source newsletter tool built with the Elixir programming language.
Sample CUDA programming codes for GPU-accelerated molecular dynamics simulations
A version manager for Neovim, a highly customizable text editor, built using the Rust programming language.
Get weekly updates on trending AI coding tools and projects.