funrep

funrep's Stars

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile61.7k3624.7k4.7k

• ish-app/ish

  Linux shell for iOS

  Language:C17.7k5621.9k993

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.9k106190420

• codota/TabNine

  AI Code Completions

  Language:Shell10.7k141597507

• github/semantic

  Parsing, analyzing, and comparing source code across many languages

  Language:Haskell9k429273453

• Effect-TS/effect

  An ecosystem of tools to build robust applications in TypeScript

  Language:TypeScript8.4k23803285

• openapi-ts/openapi-typescript

  Generate TypeScript types from OpenAPI 3 specs

  Language:TypeScript6.5k26677512

• blinksh/blink

  Blink Mobile Shell for iOS (Mosh based)

  Language:Swift6.3k1191.7k583

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell6k1052.9k274

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.8k502.2k378

• input-output-hk/plutus-pioneer-program

  This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.

  Language:Haskell1.4k15247996

• facebookincubator/Glean

  System for collecting, deriving and working with facts about source code.

  Language:Hack1.2k273556

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  1k63486

• srid/emanote

  Emanate a structured view of your plain-text notes

  Language:Haskell8531621973

• rjust/defects4j

  A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research

  Language:Perl80520397321

• kowainik/stan

  🕵️ Haskell STatic ANalyser

  Language:Haskell5781425552

• cs-au-dk/jelly

  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

  Language:TypeScript35771127

• hwayne/learntla-v2

  Learn TLA+ for free! No prior experience necessary!

  Language:TLA209145543

• ocharles/weeder

  A re-implementation of weeder using HIE files

  Language:Haskell17297630

• katychuang/hakyll-cssgarden

  gallery of themes for hakyll static site generator

  Language:CSS8511813

• ErikBjare/thesis

  MSc thesis on: Classifying brain activity using EEG and automated time tracking of computer use (using ActivityWatch)

  Language:Python776264

• TOTBWF/refinery

  ⛏️ A refinement proof framework for haskell

  Language:Haskell697113

• TOTBWF/tactic-haskell

  Tactic Metaprogramming in Haskell

  Language:Haskell56790

• lu-cs-sde/metadl

  MetaDL: Datalog analyzing Datalog, Java or any language of your choice

  Language:Java162152

• fieldstrength/aeson-deriving

  Data types for compositional, type-directed serialization

  Language:Haskell13315

• ohua-dev/stc-lang

  Implicit monadic dataflow parallelism

  Language:Haskell9223

• mediatool/northlight

  The Northlight UI Framework

  Language:TypeScript63

• honungsburk/kombo

  Are you tired of complex regex? Do you want good error messages? Use kombo!

  Language:TypeScript52230

• SebCodesTheWeb/willysgpt-frontend

  Scrape your willys account for digital receipts and use AI to structure data and then visualize in react

  Language:TypeScript20

• marcusrettig/box

  Minimalistic type-safe service container

  Language:TypeScript1100