tanfonto

tanfonto's Stars

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k640

• gitbucket/gitbucket

  A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility

  Language:Scala9.1k1.2k

• JasonShin/fp-core.rs

  A library for functional programming in Rust

  Language:Rust1.3k65

• remixlabs/wasicaml

  Translate OCaml bytecode to WebAssembly

  Language:OCaml1313

• giuven95/chatgpt-failures

  Failure archive for ChatGPT and similar models

  Language:Python59324

• ocaml-obuild/obuild

  simple package build system for ocaml

  Language:OCaml5520

• mirage/ocaml-cohttp

  An OCaml library for HTTP clients and servers using Lwt or Async

  Language:OCaml703173

• swiftlang/swift-evolution

  This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.

  Language:Markdown15.3k2.4k

• eslint-functional/eslint-plugin-functional

  ESLint rules to disable mutation and promote fp in JavaScript and TypeScript.

  Language:TypeScript79029

• iced-rs/iced

  A cross-platform GUI library for Rust, inspired by Elm

  Language:Rust24.2k1.1k

• lpw25/ocaml-typed-effects

  OCaml with typed algebraic effects

  Language:OCaml484

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.5k564

• mirage/mirage

  MirageOS is a library operating system that constructs unikernels

  Language:OCaml2.5k245

• tmattio/spin

  OCaml project generator.

  Language:OCaml29715

• orium/rpds

  Rust persistent data structures

  Language:Rust1.2k57

• bodil/im-rs

  Assorted immutable collection datatypes for Rust

  Language:Rust1.5k111

• c-cube/iter

  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

  Language:OCaml11811

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.6k397

• yewstack/yew

  Rust / Wasm framework for creating reliable and efficient web applications

  Language:MDX30.5k1.4k

• OCamlPro/drom

  drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

  Language:OCaml18521

• ocaml-multicore/domainslib

  Parallel Programming over Domains

  Language:OCaml17330

• ocaml-multicore/awesome-multicore-ocaml

  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

  1472

• ocaml-multicore/eio

  Effects-based direct-style IO for multicore OCaml

  Language:OCaml55366

• Fausto-Korpsvart/Tokyonight-GTK-Theme

  A GTK theme based on the Tokyo Night colour palette.

  Language:SCSS51633

• links-lang/links

  Links: Linking Theory to Practice for the Web

  Language:OCaml32042

• apple/swift-nio

  Event-driven network application framework for high performance protocol servers & clients, non-blocking.

  Language:Swift7.9k644

• swiftlang/swift

  The Swift Programming Language

  Language:C++67.3k10.3k

• apple/swift-corelibs-libdispatch

  The libdispatch Project, (a.k.a. Grand Central Dispatch), for concurrency on multicore hardware

  Language:C2.5k459

• evcxr/evcxr

  Language:Rust5.5k217

• bellard/quickjs

  Public repository of the QuickJS Javascript Engine.

  Language:C8.3k866