Skip to content
View Temurson's full-sized avatar
  • Jersey City, NJ, USA

Highlights

  • Pro

Organizations

@plum-umd

Block or report Temurson

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

TypeScript & JavaScript Language Server

TypeScript 2,038 160 Updated Feb 13, 2025

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

TypeScript 102,212 12,668 Updated Feb 14, 2025

A friendly programming language from the future

Haskell 5,908 274 Updated Feb 13, 2025

💥💻💥 A data-parallel functional programming language

Haskell 2,463 173 Updated Feb 14, 2025

Koka language compiler and interpreter

Haskell 3,420 170 Updated Feb 10, 2025

A self-hosting Scheme to WebAssembly compiler

Scheme 208 5 Updated Jun 2, 2020

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

TypeScript 5,201 204 Updated Feb 5, 2025

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

Rust 22,015 707 Updated Jan 20, 2025
Python 2 5 Updated Dec 8, 2022

Lean 4 programming language and theorem prover

Lean 5,070 462 Updated Feb 16, 2025

Занятия по Machine Learning клуба AI Community Innopolis

Jupyter Notebook 65 42 Updated Jul 30, 2021

A bibliography on Gradual Typing

Racket 250 22 Updated Dec 24, 2023

Sound and efficient gradual typing via contract verification.

Racket 20 Updated Aug 3, 2023

Randomized Property-Based Testing Plugin for Coq

Coq 263 47 Updated Feb 3, 2025

A compiler for the gradually typed lambda calculus

C 75 11 Updated Nov 4, 2021

A TypeScript-native, 0-dependency iCalendar encoder

TypeScript 1 Updated Oct 31, 2021

🔗 Some useful websites for programmers.

65,986 8,065 Updated Jan 2, 2025

Parsing, analyzing, and comparing source code across many languages

Haskell 9,008 451 Updated Jul 24, 2024

A textbook on informal homotopy type theory

TeX 2,052 360 Updated Jun 17, 2024

This project is developing code to implement features and extensions to the NIST Cybersecurity Whitepaper, "A Data Structure for Integrity Protection with Erasure Capability". The block matrix data…

Java 24 8 Updated Dec 6, 2022

Code and materials for my book "Functional Design and Architecture"

Haskell 503 38 Updated Nov 30, 2024

Liquid Types For Haskell

Haskell 1,221 140 Updated Feb 14, 2025
Showing results