A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
Repository Index
69,259 visible repositories in the index
1–8 of 8 · Most stars
The library which provides useful monads, interfaces, and lazy iterators.
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.
- go
- golang
- type
- struct
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.