kalaluthien

김형모's starred repositories

add-trailing-comma

A tool (and pre-commit hook) to automatically add trailing commas to calls and literals.

Language:PythonMIT33400

verse

Experiments in formalization and verification of the Verse Calculus, In Coq

Language:Makefile400

symbolicai

Compositional Differentiable Programming Library

Language:PythonBSD-3-Clause92100

pypyr

pypyr task-runner cli & api for automation pipelines. Automate anything by combining commands, different scripts in different languages & applications into one pipeline process.

Language:PythonApache-2.057500

_._

A simple streaming library

Language:CMakeMIT13100

yamlfun

[Proof of Concept] Embedded functional scripting language with YAML ¯\_(ツ)_/¯

Language:RustAGPL-3.01300

pyro

Deep universal probabilistic programming with Python and PyTorch

Language:PythonApache-2.0843500

awesome-cafe

☕ 모각코하기 좋은 국내 카페 리스트

MIT117400

cpp_functional_programming

List of materials about functional programming in C++

63700

JDD-Description

Ju-Dung-A-Li Driven Development

184300

gui_starter_template

A template CMake project to get you started with C++ and tooling

Language:CMakeUnlicense247700

army-client

Language:TypeScriptMIT1000

thrust

[ARCHIVED] The C++ parallel algorithms library. See https://github.com/NVIDIA/cccl

Language:C++NOASSERTION488400

cub

[ARCHIVED] Cooperative primitives for CUDA C++. See https://github.com/NVIDIA/cccl

Language:CudaBSD-3-Clause165700

scalene

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Language:PythonApache-2.01136700

FasterTransformer

Transformer related optimization, including BERT, GPT

Language:C++Apache-2.0564000

fastertransformer_backend

Language:PythonBSD-3-Clause41100

ML-Murphy

Complete solutions for exercises and MATLAB example codes for "Machine Learning: A Probabilistic Perspective" 1/e by K. Murphy

Language:C++23200

CLRS3

C++ implementation of CLRS 3/e example codes and exercise for studying purpose. Non-coding involved exercises will not be shared.

Language:C++5500

DeepLearningExamples

State-of-the-Art Deep Learning scripts organized by models - easy to train and deploy with reproducible accuracy and performance on enterprise-grade infrastructure.

Language:Jupyter Notebook1295300

ansible-role-hosts

An Ansible role for managing the hosts file (`/etc/hosts`).

Language:JinjaNOASSERTION200

ihp

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

Language:HaskellMIT485600

olympiad

Olympiad in Informatics solutions

Language:Roff23900

rocky

Rocky Linux is a community enterprise Operating System designed to be 100% bug-for-bug compatible with Enterprise Linux created in response to the effective discontinuation of CentOS.

960800