rift
pkgx
rift | pkgx | |
---|---|---|
4 | 47 | |
3,009 | 8,708 | |
0.5% | 0.6% | |
8.9 | 9.0 | |
6 months ago | 8 days ago | |
Python | TypeScript | |
Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rift
-
Morph.so: A Personal AI Software Engineer & Lean Theorem Prover
Website: morph.so Github: https://github.com/morph-labs Blog: https://morph.so/blog/the-personal-ai-proof-engineer/ VSCode Extension: https://marketplace.visualstudio.com/items?itemName=Morph.rift-vscode
- Ask HN: Open-source Copilot Alternatives that supports LLama?
- FLaNK Stack Weekly for 14 Aug 2023
- Show HN: Rift – Open-source AI-native language server for your personal AI SWE
pkgx
-
Install Asdf: One Runtime Manager to Rule All Dev Environments
I’m liking pkgx over asdf as it can activate project tooling upon cd’ing into a project folder.
https://pkgx.sh
-
Show HN: Flox 1.0 – Open-source dev env as code with Nix
I saw some alternatives being suggested and wanted to do the same (Also, so that I can look back at this item, through my comments :) ). Started using https://pkgx.sh/ lately. I know it has some baggage with tea.xyz and crypto, but it is also easy to get started with.
-
Beginners Intro to Trunk Based Development
Secondly, our development environments must not drift, because then code may behave differently and a change could pass on our machine but fail in production. There are many tools for locking down environments, e.g nix, pkgx, asdf, containers, etc., and they all share the common goal of being able to lock down dependencies for an environment accurately and deterministically. And that needs to be enforced in our local workflow so we don't have to rely on CI environments for correctness. All developers must have environments that are effectively identical to what runs in CI (which itself should be representative of the production environment).
-
Practical Guide to Trunk Based Development
There are many ways this can be done (e.g nix, pkgx, asdf, containers, etc.), and we won’t get into which specific tools to use, because we'll instead cover the essential essence of preventing environment drift:
-
5 Developer CLI Essentials
1. pkgx
- FLaNK Stack Weekly for 14 Aug 2023
-
How to send a warm welcome email with Resend, Next-Auth and React-Email
Before diving in, it's a good idea to have a package manager handy, like tea. It'll handle your development environment and simplify your life!
-
Announcing tea/gui - The Open Store for Open-Source
Direct fast-track link to repo
-
Looking to help out on some open source projects
checkout https://github.com/teaxyz/cli and https://github.com/teaxyz/pantry
-
Run llama.cpp with tea – without the installation pain!
Install is tea: sh <(curl https://tea.xyz) and
What are some alternatives?
awesome-data-temporality - A curated list to help you manage temporal data across many modalities 🚀.
nix - Nix, the purely functional package manager
FLaNK-Edge - An example of FLaNK Edge
litellm - Call all LLM APIs using the OpenAI format. Use Bedrock, Azure, OpenAI, Cohere, Anthropic, Ollama, Sagemaker, HuggingFace, Replicate (100+ LLMs)
kudu - Mirror of Apache Kudu
Llama-2-Onnx
pytorch-forecasting - Time series forecasting with PyTorch
macports-base - The MacPorts command-line client
llama2.c - Inference Llama 2 in one file of pure C
symmetric-ds - SymmetricDS is database replication and file synchronization software that is platform independent, web enabled, and database agnostic. It is designed to make bi-directional data replication fast, easy, and resilient. It scales to a large number of nodes and works in near real-time across WAN and LAN networks.
label-studio - Label Studio is a multi-type data labeling and annotation tool with standardized output format
white-paper - how will the protocol work?