Explore Projects
Discover 2,040 open source projects
Showing 1321-1340 of 2,040 projects
aNNiMON/Lightweight-Stream-API
A backported version of Java 8's Stream API for Java 7 and below, enabling functional programming techniques.
zetzit/zz
A Rust-based tool for verifying and transpiling code to bare-metal C for low-level programming and systems development.
evilsoft/crocks
A collection of well-known Algebraic Data Types for developers to use in functional programming.
tomprimozic/type-systems
A library of type system implementations in OCaml for developers interested in programming language theory.
gigobyte/purify
A functional programming library for TypeScript that provides ADTs, codecs, and other FP utilities.
quick-lint/quick-lint-js
A JavaScript linter and parser that helps find bugs in JavaScript programs.
JetBrains/kotlin-web-site
The Kotlin programming language website, a project focused on the Kotlin language and ecosystem.
fabrizioschiavi/pragmatapro
A font designed to help developers work more efficiently, with support for various programming languages and symbols.
moroshko/rxviz
Rx Visualizer is an animated playground for Rx Observables, allowing developers to visualize and understand reactive programming concepts.
DrSkippy/Data-Science-45min-Intros
Ipython notebooks for learning basic programming, statistics, and machine learning techniques.
stanislaw/awesome-safety-critical
A curated list of resources for writing safety-critical software, focused on best practices and standards.
kurong00/GameProgramBooks
A collection of e-books for game programming following Milo Yip's learning path.
jmoenig/Snap
Snap is a visual programming language inspired by Scratch, focused on education and introductory coding.
Dobiasd/articles
A collection of articles and thoughts on programming, with a focus on functional programming in Python.
TimefoldAI/timefold-solver
An open-source Java and Kotlin solver library for optimizing scheduling and routing problems using AI.
rust-embedded/discovery
A tutorial for learning to build microcontroller projects using the Rust programming language.
fossasia/gci14.fossasia.org
A website for the FOSSASIA Google Code-In program in 2014/15, built with JavaScript.
agentscope-ai/agentscope-java
AgentScope Java: Agent-Oriented Programming framework for building LLM-powered applications
DuHouAn/Java
A comprehensive repository for Java programming resources, including object-oriented programming, data structures, databases, and common frameworks.
rust-lang/polonius
Rust borrow checker, a core component of the Rust programming language compiler.
Stay in the loop
Get weekly updates on trending AI coding tools and projects.