/

koka

Koka language compiler and interpreter

最終更新日:503日前
3.0k

hasura/graphql-engine
504日前30.7k

Blazing fast, instant realtime GraphQL APIs on your DB with fine grained access control, also trigger webhooks on database events.

koalaman/shellcheck
504日前34.4k

ShellCheck, a static analysis tool for shell scripts

lk-geimfari/awesomo
505日前9.2k

Cool open source projects. Choose your project and get involved in Open Source development now.

extism/extism
504日前3.5k

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

jwiegley/use-package
505日前4.3k

A use-package declaration for simplifying your .emacs

compiler-explorer/compiler-explorer
503日前14.8k

Run compilers interactively from your web browser and interact with the assembly

hmemcpy/milewski-ctfp-pdf
504日前10.6k

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

wasp-lang/wasp
503日前9.6k

The fastest way to develop full-stack web apps with React & Node.js.

hadolint/hadolint
504日前9.5k

Dockerfile linter, validate inline bash, written in Haskell

purescript/purescript
504日前8.4k

A strongly-typed language that compiles to JavaScript

liuxinyu95/AlgoXY
507日前5.9k

Book of Elementary Functional Algorithms and Data structures

unisonweb/unison
504日前5.5k

A friendly programming language from the future

simplex-chat/simplex-chat
504日前5.0k

SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

digitallyinduced/ihp
504日前4.2k

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

input-output-hk/cardano-sl
505日前3.8k

Cryptographic currency implementing Ouroboros PoS protocol

xmonad/xmonad
504日前3.2k

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

dmjio/miso
508日前2.1k

:ramen: A tasty Haskell front-end framework