Skip to content
View danslapman's full-sized avatar

Organizations

@leviysoft

Block or report danslapman

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Your favorite language gets closer to bare metal.

Scala 4,619 379 Updated Dec 18, 2025

Rapid development of self-documenting APIs

Scala 1,444 459 Updated Dec 18, 2025

The Flix Programming Language

Flix 2,561 178 Updated Dec 17, 2025

A reference implementation of Dhall in Scala

Scala 8 Updated Dec 17, 2025

Haskell implemented with combinators

Haskell 663 63 Updated Dec 17, 2025

A full featured, fast Command Line Argument Parser for Rust

Rust 15,854 1,137 Updated Dec 17, 2025

Multi functional app to find duplicates, empty folders, similar images etc.

Rust 27,527 880 Updated Dec 17, 2025

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

Scala 626 71 Updated Dec 17, 2025

Extensions for F#

F# 920 104 Updated Dec 17, 2025

C# pure functional programming framework - come and get declarative!

C# 6,988 446 Updated Dec 17, 2025

LSP & DAP Client for IntelliJ

Java 261 75 Updated Dec 17, 2025

PDF craft can convert PDF files into various other formats. This project will focus on processing PDF files of scanned books.

Python 3,814 236 Updated Dec 17, 2025

Windows/macOS/Linux GUI client for GIT users

C# 3,839 314 Updated Dec 17, 2025

Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.

Kotlin 4,117 424 Updated Dec 17, 2025
Scala 3 1 Updated Dec 17, 2025

A safe, extensible ORM and Query Builder for Rust

Rust 13,835 1,169 Updated Dec 16, 2025

Concise GitHub Action for installing a Rust toolchain

Shell 1,433 73 Updated Dec 16, 2025

The agda-unimath library

Agda 278 91 Updated Dec 16, 2025

Scala wrapper over standard RabbitMQ Java client library

Scala 36 10 Updated Dec 16, 2025

A boilerplate-free library for loading configuration files

Scala 1,529 181 Updated Dec 15, 2025

A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases

Rust 7,943 183 Updated Dec 15, 2025

A Proof Generator for Entailments and Tautologies in First-order Logic

Scala 44 1 Updated Dec 15, 2025

sbt plugin to automate Sonatype releases from GitHub Actions

Scala 304 77 Updated Dec 15, 2025

Scala library for boilerplate-free, type-safe data transformations

Scala 1,238 109 Updated Dec 15, 2025

A JSR-310 port of nscala_time

Scala 68 8 Updated Dec 15, 2025

Scala Scripting

Scala 2,635 371 Updated Dec 14, 2025

Frege support for sbt

Scala 54 7 Updated Dec 13, 2025

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

TeX 11,433 625 Updated Dec 13, 2025

experimental CPS transformer for dotty

Scala 192 23 Updated Dec 12, 2025

Static site generator for code search with IDE features for Scala

Scala 109 27 Updated Dec 12, 2025
Next