Skip to content
View HaskellZhangSong's full-sized avatar

Block or report HaskellZhangSong

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
Showing results

CakeML: A Verified Implementation of ML

Standard ML 997 85 Updated Feb 16, 2025

A functional effect and streaming system for Clojure/Script

Clojure 714 29 Updated Jan 21, 2025

Node.js native addons without node-gyp!

C++ 22 3 Updated May 6, 2023

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-me…

C 57 9 Updated May 18, 2024

Haskell implemented with combinators

Haskell 416 32 Updated Feb 17, 2025
Haskell 8 1 Updated Apr 2, 2023

Apple's macOS SDKs

Roff 166 42 Updated Dec 12, 2024

Ethereum EVM illustrated

275 29 Updated Jun 21, 2022
Haskell 5 Updated Feb 18, 2025

😘 让你“爱”上 GitHub,解决访问时图裂、加载慢的问题。(无需安装)

Python 24,678 2,404 Updated Feb 18, 2025

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

C++ 2,962 355 Updated Feb 17, 2025

An axiom-free formalization of category theory in Coq for personal study and practical work

Coq 764 72 Updated Jan 22, 2025

BNF Converter

TeX 594 167 Updated Feb 18, 2025

Full-featured, open source mail server solution for mainstream Linux/BSD distributions.

Shell 1,557 219 Updated Feb 16, 2025

A proof assistant and a dependently-typed language

Java 302 18 Updated Feb 18, 2025

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell 2,616 140 Updated Jul 31, 2022

Examples of how to accomplish specific tasks in a Reagent webapp.

Clojure 842 87 Updated Mar 25, 2022

A deterministic implementation of some of the OpenSSL functionalities

C 21 9 Updated Jun 25, 2020

🖱️ 纯粹的Windows右键菜单管理程序

C# 13,525 666 Updated Aug 17, 2024

NES Emulator, and Tutorial Video Code

C++ 1,398 232 Updated Jan 9, 2024

Native, fast starting Clojure interpreter for scripting

Clojure 4,157 259 Updated Feb 18, 2025

Amazon DynamoDB client for Clojure

Clojure 240 83 Updated Jun 1, 2024

Clojure bindings for the ANTLR 4 parser

Clojure 166 33 Updated Feb 7, 2025

V2 of Real World OCaml

OCaml 1,201 175 Updated Jul 8, 2024

Next generation of automated data exploratory analysis and visualization platform.

TypeScript 4,334 346 Updated Aug 20, 2024

A debugger for Clojure and ClojureScript with some unique features.

Clojure 733 33 Updated Feb 17, 2025

Modern fork of the Arrow notation preprocessor

Haskell 8 3 Updated Dec 27, 2019

Quant DSL

Python 348 64 Updated Apr 14, 2018

Benchmarks for capture-avoiding substitution

HTML 109 7 Updated Feb 16, 2025
Next
Showing results