8000 lllssskkk / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View lllssskkk's full-sized avatar

Block or report lllssskkk

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Starred repositories

Showing results
Jupyter Notebook 32 8 Updated Oct 4, 2024

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

Dockerfile 91,106 10,368 Updated Jul 12, 2025

Datalog that's as easy as ABC.

Java 59 8 Updated May 18, 2025

A list of projectional and structural editors

Python 380 15 Updated Apr 23, 2025

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

546 72 Updated Jul 9, 2025
Haskell 26 4 Updated Dec 19, 2024

Haskell implemented with combinators

Haskell 549 46 Updated Jul 12, 2025

PhD course on Functional Programming and Climate Impact Research

Agda 50 3 Updated Nov 15, 2024

Compiling Agda code to readable Haskell

Agda 189 42 Updated Jul 10, 2025

Ask2Elle is an intelligent programming tutor for Haskell

1 Updated Jun 27, 2024

This is an experimental base library which is supposed to contain functional datastructures and reflection code.

Agda 11 Updated Jun 6, 2023

Repository with code snippets that accompany episodes of The Haskell Unfolder

Haskell 102 7 Updated Jul 9, 2025

An experimental library for Cubical Agda

Agda 491 150 Updated Jul 11, 2025

Implementations of various type systems in OCaml.

OCaml 1,583 73 Updated Aug 31, 2015

💥💻💥 A data-parallel functional programming language

Haskell 2,547 183 Updated Jul 12, 2025

NixOS 中文 Telegram 群组成员配置文件

75 15 Updated Jul 4, 2025

Domain-Specific Languages of Mathematics

Haskell 440 52 Updated Mar 23, 2025

Papers from the computer science community to read and discuss.

Shell 95,720 6,017 Updated May 4, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,063 424 Updated Nov 21, 2024

a challenge for Haskell beginners

Haskell 457 49 Updated Jul 24, 2023

Algorithm Design (Kleinberg Tardos 2005) - Solutions

721 173 Updated Feb 9, 2023

Selected Papers of Dana S. Scott

162 6 Updated Jun 20, 2024

Nix and Haskell in production

Nix 1,159 115 Updated Sep 22, 2023

Pragmatic tutorial on how to use nix with a haskell monorepo

Nix 158 8 Updated Jul 14, 2023

A collection of short notes about Nix, down to what is immediately needed for users.

Nix 449 21 Updated Sep 15, 2024

The Monad Transformer Library

Haskell 381 66 Updated May 8, 2025

A complete computer science study plan to become a software engineer.

322,619 79,579 Updated Dec 5, 2024

How to create an OS from scratch

C 28,501 3,419 Updated Jul 25, 2024

[Deprecated!] This is a data visualization project that converts historical data rankings into dynamic bar charts.

JavaScript 4,658 1,094 Updated Oct 7, 2020
Next
0