OpenLLM-France/wikimedia huggingface dataset:
# Cardinal Pacelli School

Cardinal Pacelli School is a Catholic school located in Cincinnati, Ohio in the heart of Mount Lookout, covering preschool, kindergarten, and first through eighth grades.

## History

In September 1927, a 4-room school building was built and opened with the Sisters of Notre Dame de Namur in charge. Enrollment was initially 108 students, but by 1936 it was 202 students and a larger school building was planned.
On October 31, 1936, Eugenio Cardinal Pacelli, Secretary of State to Pope Pius XI, blessed the cornerstone for the new school. To honor the visit of the Cardinal, the new building was named The Cardinal Pacelli School.
In 1962, a second floor with eight classrooms and a principal's office was added to the school building. In 1971 the Sisters of Notre Dame de Namur found it necessary to end their relationship with the school due to declining vocations and pressing needs in other ministries.
In 1993 the parish completed construction of its Parish Center which includes a gym, art room and meeting rooms. At that time the original school gym was remodeled into offices, a new school library and a computer lab. Since that time the gym has been remodeled adding a second floor, including a science lab, Computer Lab, art room and library. The first floor of the old gym has been turned into new school offices and kindergarten classrooms.

## High School Attendance

Cardinal Pacelli is generally a feeder school to Cincinnati area private Catholic high schools Such as St. Xavier High School (Cincinnati), Archbishop Moeller High School, Archbishop McNicholas High School, St. Ursula Academy and Ursuline Academy.

## Awards

In 2008, the school was named a Blue Ribbon School
# Cardinal Stritch Catholic High School (Ohio)

Cardinal Stritch Catholic High School (CSCHS), is a private, Catholic, coeducational, college prep secondary school located in Oregon, Ohio. It is part of the Roman Catholic Diocese of Toledo.

## History

The groundbreaking for the school was performed on September 21, 1960 by then-bishop of Toledo, Bishop George J. Rehring. The first class entered the following fall. The school is named for Samuel Cardinal Stritch, the second bishop of Toledo during the years of 1921 through 1930, and eventually cardinal archbishop of Chicago.
On the school's website it states, "A twenty-acre site was chosen for the East Side area's first co-institutional high school." One side of the school was originally reserved for boys' classes, while the other was for girls', with co-educational classes being held in the center sections. (The separate wings were integrated in 1971 when all classes became co-educational.) The first principal was Monsignor Michael Walz, who initiated the "Stritch Family" concept.
The high school has also taken on leadership roles in the creation of the "Live It" initiative and the Kateri Education Project, a regional study of Catholic education. They have adopted a service learning program, "Stewards of Stritch", moved from monthly to weekly Mass for all of its students, and helped the entire high school community focus toward the Eucharist as the source and summit of the faith and therefore, at the center of the school.

## National Honor Roll

In the years 2006, 2007, 2008 and 2009, Cardinal Stritch Catholic High School was named one of the Top 50 Catholic High Schools by the Catholic High School Honor Roll. In 2018, Cardinal Stritch was named a Top Workplace by the Toledo Blade and Energage.

## 50 Year Anniversary of Cardinal Stritch

On May 19, 2011, the school celebrated its 50-year anniversary with a mass presided by Bishop Leonard P. Blair. It was announced that the school would add the word "Catholic" to its official name and a brand new school logo was unveiled. Cardinal Stritch High School is now officially known as Cardinal Stritch Catholic High School.

## Ohio High School Athletic Association State Championships

* Wrestling - 1985

## Notable alumni

* Bryan Smolinski, professional ice hockey player for the Chicago Blackhawks
# Coccinelle (software)

Coccinelle (Italian for ladybugs) is an open-source for matching and transforming the source code of programs written in the C programming language.

## Utility

Coccinelle was initially used to aid the evolution of the Linux kernel, providing support for changes to library application programming interfaces (APIs) such as renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure.
It can also be used to find defective programming patterns in code (i.e., pieces of code that are erroneous with high probability such as possible NULL pointer dereference) without transforming them. Therefore coccinelle's role is close to that of static analysis tools. Examples of such use are provided by the applications of the herodotos tool, which keeps track of warnings generated by coccinelle.
Support for Coccinelle is provided by IRILL. Funding for the development has been provided by the Agence Nationale de la Recherche (France), the Danish Research Council for Technology and Production Sciences, and INRIA.
The source code of Coccinelle is licensed under the terms of version 2 of the GNU General Public License (GPL).

## Semantic Patch Language

The source code to be matched or replaced is specified using a "semantic patch" syntax based on the patch syntax. The Semantic Patch Language (SmPL) pattern resembles a unified diff with C-like declarations.
# Carolina Day School

Carolina Day School is an independent, co-ed, college preparatory school serving grades pre-K through 12. The school is in the historic Biltmore Forest neighborhood of Asheville, North Carolina. It consists of a lower, middle, and upper school.
Carolina Day School is a member of the North Carolina Association of Independent Schools and the National Association of Independent Schools.

## History

Carolina Day School was founded in 1987 through the merger of Asheville Country Day School and St. Genevieve/Gibbons Hall.
Asheville Country Day School, which thrived on the current campus, was established in 1936 as a private day school.
Established in 1908, St. Genevieve-of-the-Pines was a Catholic day and boarding school, which emphasized a strong foundation in the liberal arts. The St. Genevieve property was sold to Asheville-Buncombe Technical Community College when the schools merged in 1987.
# Darling (software)

Darling is a free and open-source macOS compatibility layer for Linux. It duplicates functions of macOS by providing alternative implementations of the libraries and frameworks that macOS programs call. This method of duplication differs from other methods that might also be considered emulation, where macOS programs run in a virtual machine. Darling has been called the counterpart to WINE for running macOS apps.
The project started in the summer of 2012 and builds on a previous project, named maloader, which was discontinued due to a lack of time. The layer has been shown to work with many console apps, such as Midnight Commander, The Unarchiver, Python, etc. on the layer, but it also has basic support for graphical applications based on the Cocoa framework. Darling has the ability to extract Apple Disk Images.
The project aims to support iOS applications in the future.

## Architecture

At the entry of the Darling system is a loader for Mach-O binaries, the executable format for Apple's operating systems. Darling's predecessor, maloader, presented a maximalist approach to the problem by trying to replicate everything that Apple's dynamic library loader dyld does. This proved to be hard, and since a 2017 "Mach-O transition" Darling has been using a lightweight loader just enough to launch the open-source Apple dyld instead.
To provide the macOS binaries with a kernel, Darling uses a modified XNU kernel (with an APSL license) wrapped into a Linux kernel module with a GPL license. It is not the same as including GPL code in APSL software, and the APSL license allows for linking from code with a different license (in this case GPL). The module handles the typical job of a Mach kernel, mainly Ports IPC handling. Some licensing issues exist in the darling-mach module, as the team are adding GNU GPL modifications to the APSL kernel.
Higher than the kernel is the root environment. Darling, like WINE, supports chroot prefixes, implemented using the Linux overlayfs (as opposed to path translation in WINE). PID, IPC, and UTS namespaces are used to create a container for the Darwin system inside.
The frameworks and system libraries in Darling are, to the best possible extent, based on source code released by Apple. The Mach-O transition allows these frameworks to be built more easily, because they are now built as the Mach-O format they were intended for. To fill in the gaps for many higher-level frameworks like Cocoa, Darling uses code from Cocotron, ApportableFoundation, and GNUstep.

## License

The larger Darling system is based on many external components which use various licenses, all of which are open-source. The primary license is GPLv3.
# Drosera (orienteering)

Drosera is open source orienteering competition management software, which is part of orienteering toolbox. It is written as Java EE server with web interface and REST API for communication with other programs. It is built to use electronic punching system such as SPORTIdent.
As of 2012 the software is still in beta stage, but it has been used in managing several live competitions.
# Cedar Catholic High School

Cedar Catholic High School is a private, Roman Catholic high school in Hartington, Nebraska, United States. It is located in the Roman Catholic Archdiocese of Omaha.

## History

The school was founded in 1901 as Holy Trinity School, established by Holy Trinity Catholic Church in Hartington, NE. In the 1963 at the direction of Archbishop Gerald T. Bergan, Cedar Catholic High School was established as a central high school and supported by ten Catholic parishes in Cedar County, Nebraska. The elementary Catholic school in Hartington, NE retains the Holy Trinity name.

## Athletics

Cedar Catholic is a member of the Nebraska School Activities Association. The school has won the following NSAA state championships:
* Boys' basketball—1980, 1984
* Boys' golf—1995, 2005, 2009
* Girls' volleyball—1989, 2012, 2022
* Girls' basketball—1986
* Boys' bowling—2012

## Notable alumni

* Russ Hochstein, NFL player for the Denver Broncos, former player for the Nebraska Cornhuskers; two-time Super Bowl Champion with the New England Patriots (XXXVIII, XXXIX)
* Charles Thone, US Representative 1971–79, governor of Nebraska 1979-83
# Central Christian Schools

Central Christian Schools is a private Christian school in Redmond, Oregon, United States. The school has been accredited through the Association of Christian Schools International since 1992, and through the Northwest Accreditation Commission since 2002. The Central Christian Tigers compete in the OSAA Mountain Valley 1A league. Central Christian opened in 1992.
# Central Holmes Christian School

Central Holmes Christian School (CHCS), previously Central Holmes Academy, is a private non-sectarian Christian school in Lexington, Mississippi. It includes elementary, middle, and high school grades 1-12. The school has a controversial history as a segregation academy.

## History

In the late 1960s, public schools in Holmes County, Mississippi and across the state were being racially integrated. The majority of the county population was black, as in many parts of the Delta. Many white parents withdrew their children from the public system and began sending them to Central Holmes, a newly established private school. James Charles Cobb wrote that Central Holmes Academy had been "hastily constructed" as a segregation academy. The Wall Street Journal reported that the school was established by a chapter of the White Citizens' Council. A group of young men enrolled in a vocational program funded by the federal government of the United States used their training to establish the school.
On its establishment, almost every white child in Lexington was enrolled in Central Holmes Christian Academy to avoid having them attend school with black children. But across the state as a whole, only a very small minority of white students were withdrawn to attend private schools; most stayed in public schools. In 2016, Central Holmes Christian School had 265 students enrolled. Of these, thirty-one (14%) were nonwhite, while about 70% of the population of the town of Lexington was black.

## Alumni

Melany Neilson - author
# Chicago Christian High School

Chicago Christian High School or CCHS is a private Christian school in Palos Heights, Illinois. In addition to offering a wide range of academic programs, Chicago Christian High School also offers Dual Enrollment courses, Advanced Placement courses, and Honors Courses. It also hosts a Robotics team, which is sponsored by many small businesses in Palos Heights. It's ranked 16 as one of the best Christian school's in the Chicago land area and looks to improve students for college. It is made up by students from the campus’s in Tinley Park and Oak Lawn. Additionally, some students are not from either campus, but from other schools entirely, or are transfers.
History: Chicago Southwest Christian Association were formed back in 1958, while Chicago Christian High School was founded in 1918 in Englewood. They moved into Palos Heights in 1963 and working to imply better learning with academics and faith. The campus is on the former Navajo golf course, where the idea for the NIV version of the Bible was established.
# GNU Solfege

GNU Solfege is an ear training program written in Python intended to help musicians improve their skills and knowledge. It is free software and part of the GNU Project.
GNU Solfege is available for Linux, Windows, and OS X.

## Exercises

* Recognize melodic and harmonic intervals
* Compare interval sizes
* Sing the intervals the computer asks for
* Identify chords
* Sing chords
* Sing tone from chords: root, third, fifth, etc.
* Scales
* Dictation
* Rhythm dictation
* Remembering rhythmic patterns
* Theory: name intervals and scales
* Cadences
* Intonation
* Identify harmonic progressions
This software was made in such way that it is possible for the user to customize the existing exercises or create new ones.
# Tacheng Prefecture

Tacheng Prefecture (Chinese: 塔城地区; pinyin: Tǎchéng dìqū) is located in northern Xinjiang, People's Republic of China. It has an area of 98,824 km$^2$ (38,156 sq mi) and a population of 992,444 (2020). It is a part of Ili Kazakh Autonomous Prefecture. The prefecture level city of Karamay forms a separate enclave in the middle of Tacheng.

## Subdivisions

Tacheng prefecture is divided into 3 county level cities, 3 counties, and 1 autonomous county.
Tacheng (city)
Usu (city)
Emin County
Shawan (city)
Toli County
Yumin County
Hoboksar County :
| # | Name | Hanzi | Hanyu Pinyin | Uyghur (UEY) | Uyghur Latin (ULY) | Kazakh (Arabic script) | Kazakh Latin transcription | Population (2020 Census) | Area (km$^2$) | Density (/km$^2$) |
| 1 | Tacheng City | 塔城市 | Tǎchéng Shì | چۆچەك شەھىرى | Chöchek Shehiri | شاۋەشەك قالاسى | Sháýeshek qalasy | 158,098 | 3,992 | 39.60 |
| 2 | Usu City | 乌苏市 | Wūsū Shì | شىخۇ شەھىرى | Shixu Shehiri | شيحۋ قالاسى | Shıhý qalasy | 262,906 | 14,394 | 18.26 |
| 3 | Shawan City | 沙湾市 | Shāwān Shì | ساۋەن شەھىرى | Saven Shehiri | ساۋان قالاسى | Saýan qalasy | 301,046 | 12,458 | 24.16 |
| 4 | Emin County | 额敏县 | Émǐn Xiàn | دۆربىلجىن ناھىيىسى | Dörbiljin Nahiyisi | ءدوربىلجىن اۋدانى | Dórbiljin aýdany | 188,642 | 9,158 | 20.60 |
| 5 | Toli County | 托里县 | Tuōlǐ Xiàn | تولى ناھىيىسى | Toli Nahiyisi | تولى اۋدانى | Toly aýdany | 85,451 | 19,982 | 4.28 |
| 6 | Yumin County | 裕民县 | Yùmín Xiàn | چاغانتوقاي ناھىيىسى | Chaghantoqay Nahiyisi | شاعانتوعاي اۋدانى | Shaǵantoǵaı aýdany | 50,819 | 6,102 | 8.33 |
| 7 | Hoboksar Mongol Autonomous County | 和布克赛尔蒙古自治县 | Hébùkèsài'ěr Měnggǔ Zìzhìxiàn | قوبۇقسار موڭغۇل ئاپتونوم ناھىيىسى | Qobuqsar Mongghul Aptonom Nahiyisi | قوبىقسارى موڭعۇل اۆتونوميالىق اۋدانى | Qobyqsary Mońǵul avtonomıaly aýdany | 61,785 | 28,783 | 2.15 |

## Demographics

Breakdown of nationalities in Tacheng Prefecture
Nationality
Percentage
Han
54.7%
Kazakhs
26.7%
Huis
8.5%
Uyghurs
4.3%
Mongols
3.4%
Daurs
0.5%
Russians
0.3%
Others
1.6%
Source of the population statistics : :

## Geography

See Emin Valley, Tarbagatai Mountains, Saur Mountains, Gurbantünggüt Desert.

## Heads
### Secretary

* Li Fengzi -1991.05
* Li Guimao 1991.06-1994.07
* Wu Qilin 1994.07-2000.04
* Tang Dingbang 2000.04-2004.11
* Peng Jiarui 2004.11-2011.07
* Zhang Bo 2011.07-2015.01
* Xue Bin since 2017.03 (薛斌)

### Governors

* Baspaı Sholaquly Баспай Шолақұлы 1945–1952
* Arystanbek (Арыстанбек) (阿尔斯坦别克) 1983.-1993.06
* Alpısbaý Raxımulı 1993.06-1997.01
* Qızaýjan Seýilqojaulı 1996.12-2003.01
* Tilepaldı Äbdiraşïd 2003.01-2008.01 zh:铁力瓦尔迪·阿不都热西提
* Mänen Zeýnelulı 2008.01-2012.04
* Aqanulı Sarqıt zh:沙尔合提·阿汗 2012.04-2016.06
* Muqïyat Jarmuqamet (木合亚提·加尔木哈买提)2016.06-present
# Jape (software)

Jape is a configurable, graphical proof assistant, originally developed by Richard Bornat at Queen Mary, University of London and Bernard Sufrin the University of Oxford. The program is available for the Mac, Unix, and Windows operating systems. It is written in the Java programming language and released under the GNU GPL.
It is claimed that Jape is the most popular program for "computer-assisted logic teaching" that involves exercises in developing proofs in mathematical logic.

## History

Jape was created in 1992 by Richard Bornat and Bernard Sufrin with the intent to get a better understanding of the formal reasoning. Bernard Sufrin came up with the name "Jape".
In 2019, they released the code on GitHub.

## Overview

Jape supports human-directed discovery of proofs in a logic which is defined by the user as a system of inference rules. It maps the user's gestures (e.g. typing, mouse-clicks or mouse-drags) to the assistant's proof actions. Jape does not have any special knowledge of any object logic or theory, and it will make moves in a proof if and only if they are justifiable by rules of the object logic that is currently loaded. Jape allows to make proof steps and undo them, and it shows the effect of the added proof steps which helps to understand strategies for finding proofs.$^{:60}$ When the user adds and removes the proof steps, the proof tree is constructed which Jape can show either in a tree shape or in box forms. Jape allows to display proofs at different levels of abstraction. It is also possible to present a forward proof in a natural deduction style by using the specialized modes of display for proofs.
Jape works with variants of the sequent calculus and natural deduction. It also supports formal proofs with quantifiers.$^{:84}$
# LibrePilot

LibrePilot is a Free software unmanned aerial vehicle project for model aircraft aimed at supporting both multi-rotor craft as well as fixed-wing aircraft. Initially founded by David Ankers, Angus Peart and Vassilis Varveropoulos in late 2009, under the name OpenPilot, it was conceived as both a learning tool and to address areas the developers perceived were lacking in other small UAV platforms. In July 2015 OpenPilot, was forked to create LibrePilot.
The OpenPilot open source autopilot software could be combined with hardware such as an inertial navigation system board, a main control board, a GPS receiver, and a 2.4 GHz serial communications link with the ground station. The OpenPilot software is released under the GPL version 3 license.

## Components

The OpenPilot project consisted of two component parts, these are the on-board firmware and the ground control station (GCS). The firmware part of the project is written in C whilst the ground control station is written in C++ utilizing Qt.

## Hardware

The current on-board hardware is based on the STM32 microcontroller. There are two physical boards that are part of the hardware, the first is the main OpenPilot board which contains the core microcontroller, SD socket, barometer plus servo connectors and second, the AHRS board which contains the sensor hardware. In other words, the hardware consists of two boards: the microcontroller board (the core) and the sensors board (the AHRS).

### AHRS

The OpenPilot AHRS was a 9DOF unit and contains MEMS gyroscopes, accelerometers and a 3 direction magnetometer. Combined with the sensors, the OpenPilot AHRS contains its own Cortex M3 microcontroller which runs a Kálmán filter. Filtered orientation data and inertial measurements are presented back to the main OpenPilot board using an SPI interface.
The OpenPilot AHRS contained the following components:
* STM32 F1 Onboard (STM32F103C8)
* 3× ADXRS610 Rate Gyros
* 1× HMC5843 Magnetometer
* 1× LIS344ALH 3-Axis Accelerometer
# Cornerstone Christian School (Albion, Indiana)

Cornerstone Christian School is a private Christian school located in Albion, Indiana.
# Covenant Christian Academy (Georgia)

Covenant Christian Academy (CCA) is a private Christian school located in unincorporated Forsyth County, Georgia, United States, near Cumming. It is a K-12 institution that seeks "to glorify God by partnering with Christian families to provide an academically excellent education that approaches every discipline from a Christ-centered, biblical world-view."

## History

Covenant Christian Academy was founded in 1982 as Chalcedon Christian School in Dunwoody, Georgia. It moved to its current location on Post Road in Cumming in 1998 and was renamed in 2002. Post Road is located off of GA 400, north of Atlanta.

## Academics

Strong emphasis is placed on reading and phonics in the early grades. High school students are offered courses in literature, Spanish, music, advanced mathematics, geometry, Bible, history, government, economics, biology, chemistry, physics, AP Calculus, and AP English Literature. The school is fully accredited by the Georgia Association of Christian Schools, the Georgia Department of Education, the Georgia Student Finance Commission, and the Board of Regents.

## Athletics

Covenant competes in the Georgia Christian Athletic Association (GCAA). The Rams compete at the varsity level in boys' and girls' soccer and basketball, as well as boys' baseball and girls' volleyball. The Lady Rams soccer team are two-time GCAA state champions, winning titles in 2007 and 2008. The Lady Rams soccer team were also GCAA state runners-up in 2009, 2010, and 2011. The Rams soccer team were GCAA state runners-up in 2010 and 2011.

## Notable alumni

* Mackenzie Lintz, actress
* Madison Lintz, actress
* Jordan Pruitt, singer
# Metapad

Metapad is an open-source text editor for Microsoft Windows 9x/NT/XP/Vista/7, developed by Alexander Davidson since 1999. The aim of Metapad is to provide a near drop-in replacement of Notepad in Windows. Metapad was distributed as freeware for the first ten years of its existence. On March 20, 2009, the 10th anniversary of its initial release, the Metapad source code was released under GPL-3.0-or-later.
Some of its key features include:
* No file size limit under Windows 9x
* UNIX text file support
* Commit word wrap
* Tab and newline search
* Hyperlinking support
* Auto-indent mode
* Block indent and unindent
* Toolbar button for always on top
* Language plugin support (though English is British-only)
* Can replace Windows Notepad
* A ‘portability mode’ to leave no traces in Windows Registry or export your metapad settings to a new computer
Metapad is programmed in pure ANSI C with the Win32 API. There are two versions of Metapad: a full and LE (light edition) version. The full version uses the RichEdit control which boasts more features, while the LE version uses the faster Edit control.

## Reception

Metapad received 3.5/5 score in a 2013 PCWorld review.
# Covenant Christian Academy (Harrisburg, Pennsylvania)

Covenant Christian Academy (CCA) is a private PreK–12 Christian school founded in 1997 by parents interested in giving their children a Classical Christian education based on the medieval model of the trivium. It is located in Harrisburg, Pennsylvania.