Skip to content
View kamil-adam's full-sized avatar

Block or report kamil-adam

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell 1,591 166 Updated Apr 12, 2026

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Haskell 5,276 219 Updated Apr 12, 2026

Nix Packages collection & NixOS

Nix 24,261 18,570 Updated Apr 12, 2026

Empowering everyone to build reliable and efficient software.

Rust 111,937 14,748 Updated Apr 12, 2026

A Proof-oriented Programming Language

F* 3,001 249 Updated Apr 12, 2026

A modern runtime for JavaScript and TypeScript.

Rust 106,452 6,004 Updated Apr 12, 2026

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

V 37,489 2,236 Updated Apr 12, 2026

The Egison Programming Language

Haskell 922 31 Updated Apr 12, 2026

CockroachDB — the cloud native, distributed SQL database designed for high availability, effortless scale, and control over data placement.

Go 32,041 4,111 Updated Apr 12, 2026

Integration library for MUnit & cats-effect

Scala 157 38 Updated Apr 12, 2026

Scheme interpreter written in JavaScript

JavaScript 778 132 Updated Apr 12, 2026

The user-friendly command line shell.

Rust 33,124 2,273 Updated Apr 12, 2026

Slick website

JavaScript 7 18 Updated Apr 12, 2026

LMAO is a tool that builds Malbolge programs from the low-level assembly language HeLL.

C 12 1 Updated Apr 12, 2026

🚀✨ Help beginners to contribute to open source projects

53,443 101,020 Updated Apr 12, 2026

A composable build system for OCaml.

OCaml 1,860 469 Updated Apr 12, 2026

Standard Library

JavaScript 25,478 1,698 Updated Apr 12, 2026

The Agda standard library

Agda 655 264 Updated Apr 12, 2026

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Pony 6,075 428 Updated Apr 12, 2026

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

Shell 186,093 26,373 Updated Apr 12, 2026

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Java 21,545 1,788 Updated Apr 12, 2026

lang befunge 93 fast

JavaScript 21 1 Updated Apr 12, 2026

RIOT - The friendly OS for IoT

C 5,710 2,079 Updated Apr 12, 2026

A curated list of awesome frameworks, libraries and software for the Java programming language.

47,598 7,661 Updated Apr 12, 2026

Haskell implemented with combinators

Haskell 708 71 Updated Apr 12, 2026

The Plutus language implementation and tools

Haskell 1,635 512 Updated Apr 12, 2026

Official chibi-scheme repository

Scheme 1,348 155 Updated Apr 12, 2026

Official GeoServer repository

Java 4,317 2,288 Updated Apr 12, 2026

Scala.js, the Scala to JavaScript compiler

Scala 4,699 406 Updated Apr 12, 2026

A fast, friendly, functional language.

Zig 5,561 374 Updated Apr 12, 2026
Next