トピック · logic

logic

logic がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

9

総スター数

29,438

平均スター数

3,271

シェア

0.00%

logic と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、logic がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
logisim-evolution ↗@logisim-evolutionJava
デジタルロジック設計ツールおよびシミュレーター
★ 7,517+21直近 7 日のスター増減
#2
Digital ↗@hneemannJava
デジタルロジックデザイナーおよび回路シミュレーター。
★ 5,964+13直近 7 日のスター増減
#3
plt ↗@steshawCSS
プログラミング言語理論 λΠ
★ 5,362+1直近 7 日のスター増減
#4
typedb ↗@typedbRust
TypeDB: レコードではなくシステムのために構築
★ 4,438+8直近 7 日のスター増減
#5
flix ↗@flixFlix
Flix プログラミング言語
★ 2,734+0直近 7 日のスター増減
#6
math ↗@hendrycksPython
MATH データセット (NeurIPS 2021)
★ 1,387+0直近 7 日のスター増減
#7
magmide ↗@magmideRocq Prover
実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。
★ 835+0直近 7 日のスター増減
#8
BOOLR ↗@GGBRWJavaScript
デジタル論理シミュレータ
★ 626+2直近 7 日のスター増減
#9
awesome-prolog ↗@klaudiosinani
Prologのパッケージとリソースの厳選リスト
★ 575+0直近 7 日のスター増減

← トピック一覧に戻る