/

koka

Koka language compiler and interpreter

最終更新日:354日前
3.0k

hasura/graphql-engine
356日前30.7k

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

koalaman/shellcheck
356日前34.4k

ShellCheck, a static analysis tool for shell scripts

lk-geimfari/awesomo
357日前9.2k

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

extism/extism
356日前3.5k

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

jwiegley/use-package
357日前4.3k

A use-package declaration for simplifying your .emacs

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

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

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

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

wasp-lang/wasp
355日前9.6k

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

hadolint/hadolint
356日前9.5k

Dockerfile linter, validate inline bash, written in Haskell

purescript/purescript
356日前8.4k

A strongly-typed language that compiles to JavaScript

liuxinyu95/AlgoXY
359日前5.9k

Book of Elementary Functional Algorithms and Data structures

unisonweb/unison
356日前5.5k

A friendly programming language from the future

simplex-chat/simplex-chat
356日前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
356日前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
357日前3.8k

Cryptographic currency implementing Ouroboros PoS protocol

xmonad/xmonad
356日前3.2k

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

dmjio/miso
360日前2.1k

:ramen: A tasty Haskell front-end framework